Examples with Vdm2Csv com.ge.research.osate.verdict.vdm2csv.Vdm2Csv used on opensource projects

Example 1 with Vdm2Csv

use of com.ge.research.osate.verdict.vdm2csv.Vdm2Csv in project VERDICT by ge-high-assurance.

the class GSNHandler method runAadl2Csv.

/**
 * Calls Aadl2Csv translator
 * @param dir
 * @param stemOutputDir
 * @param soteriaOutputDir
 */
public static void runAadl2Csv(File dir, String stemOutputDir, String soteriaOutputDir) {
    Agree2Vdm agree2vdm = new Agree2Vdm();
    Model model = agree2vdm.execute(dir);
    Vdm2Csv vdm2csv = new Vdm2Csv();
    vdm2csv.execute(model, stemOutputDir, soteriaOutputDir, dir.getName());
}

Example 2 with Vdm2Csv

use of com.ge.research.osate.verdict.vdm2csv.Vdm2Csv in project VERDICT by ge-high-assurance.

the class MBASSynthesisHandler method runAadl2CsvWithSynthesis.

/**
 * Calls Aadl2Csv translator with synthesis enabled
 * @param dir
 * @param vdmFile
 * @param stemOutputDir
 * @param soteriaOutputDir
 */
public static void runAadl2CsvWithSynthesis(File dir, File vdmFile, String stemOutputDir, String soteriaOutputDir) {
    Agree2Vdm agree2vdm = new Agree2Vdm();
    Model model = agree2vdm.execute(dir);
    VdmTranslator.marshalToXml(model, vdmFile);
    Vdm2Csv vdm2csv = new Vdm2Csv(true);
    vdm2csv.execute(model, stemOutputDir, soteriaOutputDir, dir.getName());
}

Example 3 with Vdm2Csv

use of com.ge.research.osate.verdict.vdm2csv.Vdm2Csv in project VERDICT by ge-high-assurance.

the class MBASHandler method runAadl2Csv.

public static void runAadl2Csv(File dir, String stemOutputDir, String soteriaOutputDir) {
    Agree2Vdm agree2vdm = new Agree2Vdm();
    Model model = agree2vdm.execute(dir);
    Vdm2Csv vdm2csv = new Vdm2Csv();
    vdm2csv.execute(model, stemOutputDir, soteriaOutputDir, dir.getName());
}