public static List<File> filterFiles(List<File> files) { List<File> filtered = new LinkedList<File>(); for (File f : files) { if (GeneralCodeGenUtils.isVdmSourceFile(f)) { filtered.add(f); } } return filtered; }
public static boolean isVdmSourceFile(File f) { return isVdmPpSourceFile(f) || isVdmSlSourceFile(f) || isVdmRtSourceFile(f); }
if (GeneralCodeGenUtils.isVdmSourceFile(file)) if (!GeneralCodeGenUtils.hasErrors(tcResult)) + GeneralCodeGenUtils.errorStr(tcResult));
private void validateTcResult(TypeCheckResult<?> tcResult) throws MojoExecutionException { if (!tcResult.parserResult.errors.isEmpty() || !tcResult.errors.isEmpty()) { String PARSE_TYPE_CHECK_ERR_MSG = "Could not parse or type check VDM model"; getLog().error(PARSE_TYPE_CHECK_ERR_MSG + ":\n" + GeneralCodeGenUtils.errorStr(tcResult)); throw new MojoExecutionException(PARSE_TYPE_CHECK_ERR_MSG); } // No type errors } }
GeneralCodeGenUtils.printMergeErrors(generatedClass.getMergeErrors()); } else if (!generatedClass.canBeGenerated()) GeneralCodeGenUtils.printUnsupportedIrNodes(generatedClass.getUnsupportedInIr()); GeneralCodeGenUtils.printUnsupportedNodes(generatedClass.getUnsupportedInTargLang()); warnings_ += generatedClass.getTransformationWarnings().size(); if (printWarnings) GeneralCodeGenUtils.printUnsupportedNodes(generatedClass.getTransformationWarnings()); else MsgPrinter.getPrinter().println("\t ..."); MsgPrinter.getPrinter().println(GeneralCodeGenUtils.constructNameViolationsString(invalidName)); MsgPrinter.getPrinter().println(GeneralCodeGenUtils.constructVarRenamingString(allRenamings));
+ GeneralCodeGenUtils.constructNameViolationsString(invalidNames)); generatedCode.append(MODULE_DELIMITER);
@Before public void init() { File f = new File(modelPath); if (GeneralCodeGenUtils.isVdmPpSourceFile(f)) { Settings.dialect = Dialect.VDM_PP; } else if (GeneralCodeGenUtils.isVdmSlSourceFile(f)) { Settings.dialect = Dialect.VDM_SL; } else if (GeneralCodeGenUtils.isVdmRtSourceFile(f)) { Settings.dialect = Dialect.VDM_RT; } else { Assert.fail("The file does not have a valid VDM source file extension. Got: " + modelPath); } Settings.release = Release.VDM_10; }
private void findVdmSources(List<File> files, File specificationRoot) { for (File f : GeneralUtils.getFilesRecursively(specificationRoot)) { if (GeneralCodeGenUtils.isVdmSourceFile(f)) { files.add(f); } } }
public static void handleSl(List<File> files, IRSettings irSettings, JavaSettings javaSettings, boolean printCode, File outputDir, boolean separateTestCode, boolean printWarnings) { try { JavaCodeGen vdmCodGen = new JavaCodeGen(); vdmCodGen.setSettings(irSettings); vdmCodGen.setJavaSettings(javaSettings); Settings.dialect = Dialect.VDM_SL; TypeCheckResult<List<AModuleModules>> tcResult = TypeCheckerUtil.typeCheckSl(files); if (GeneralCodeGenUtils.hasErrors(tcResult)) { MsgPrinter.getPrinter().error("Found errors in VDM model:"); MsgPrinter.getPrinter().errorln(GeneralCodeGenUtils.errorStr(tcResult)); return; } GeneratedData data = vdmCodGen.generate(CodeGenBase.getNodes(tcResult.result)); processData(printCode, outputDir, vdmCodGen, data, separateTestCode, printWarnings); } catch (AnalysisException e) { MsgPrinter.getPrinter().println("Could not code generate model: " + e.getMessage()); } }
if (GeneralCodeGenUtils.isVdmSourceFile(file))