List<GeneratedModule> classes = data.getClasses(); List<GeneratedModule> quoteData = data.getQuoteValues(); InvalidNamesResult invalidNames = data.getInvalidNamesResult();
boolean printWarnings) List<GeneratedModule> generatedClasses = data.getClasses(); List<String> names = new ArrayList<>(); int errors_ = 0; List<GeneratedModule> quotes = data.getQuoteValues(); InvalidNamesResult invalidName = data.getInvalidNamesResult(); List<Renaming> allRenamings = data.getAllRenamings(); if (data.getWarnings() != null && !data.getWarnings().isEmpty() && printWarnings) for (String w : data.getWarnings())
GeneratedData data = new GeneratedData(); data.setClasses(genModules); data.setQuoteValues(generateJavaFromVdmQuotes()); data.setInvalidNamesResult(invalidNamesResult); data.setSkippedClasses(skipping); data.setAllRenamings(allRenamings); data.setWarnings(warnings);
GeneratedData r = new GeneratedData(); try { r.setClasses(prettyPrint(statuses)); } catch (org.overture.codegen.ir.analysis.AnalysisException e) { throw new AnalysisException(e);
public IsaPog(List<INode> ast) throws AnalysisException, org.overture.codegen.ir.analysis.AnalysisException { IProofObligationList pos = ProofObligationGenerator.generateProofObligations(ast); pos.renumber(); IsaGen ig = new IsaGen(); modelThy = ig.generate(ast).getClasses().get(0); modelThyName = modelThy.getName() + THY_EXT; posThy = makePosThy(pos, modelThy.getName()); posThyName = modelThy.getName() + POS_THY + THY_EXT; }
JavaCodeGenMain.processData(false, outputDirectory, javaCodeGen, genData, separateTestCode, true); if (genData.hasErrors()) { throw new MojoExecutionException("Could not code generate model.");