Examples with Agree2Vdm com.ge.research.osate.verdict.aadl2vdm.Agree2Vdm used on opensource projects

Example 1 with Agree2Vdm

use of com.ge.research.osate.verdict.aadl2vdm.Agree2Vdm 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 Agree2Vdm

use of com.ge.research.osate.verdict.aadl2vdm.Agree2Vdm 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 Agree2Vdm

use of com.ge.research.osate.verdict.aadl2vdm.Agree2Vdm in project VERDICT by ge-high-assurance.

the class CRVHandler method runAadl2Vdm.

/**
 * Calls Aadl2Vdm translator and writes model to vdmFile
 * @param dir
 * @param vdmFile
 */
public static void runAadl2Vdm(File dir, File vdmFile) {
    Agree2Vdm agree2vdm = new Agree2Vdm();
    Model model = agree2vdm.execute(dir);
    VdmTranslator.marshalToXml(model, vdmFile);
}

Example 4 with Agree2Vdm

use of com.ge.research.osate.verdict.aadl2vdm.Agree2Vdm 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());
}