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; }
generatedCode.append(q.getName());
public static File getModuleOutputDir(File outputDir, JavaCodeGen vdmCodGen, GeneratedModule generatedClass) { File moduleOutputDir = outputDir; String javaPackage = vdmCodGen.getJavaSettings().getJavaRootPackage(); if (generatedClass.getIrNode() instanceof SClassDeclIR) { javaPackage = ((SClassDeclIR) generatedClass.getIrNode()).getPackage(); } else if (generatedClass.getIrNode() instanceof AInterfaceDeclIR) { javaPackage = ((AInterfaceDeclIR) generatedClass.getIrNode()).getPackage(); } else { log.error("Expected IR node of " + generatedClass.getName() + " to be a class or interface declaration at this point. Got: " + generatedClass.getIrNode()); return null; } if (JavaCodeGenUtil.isValidJavaPackage(javaPackage)) { String packageFolderPath = JavaCodeGenUtil.getFolderFromJavaRootPackage(javaPackage); moduleOutputDir = new File(outputDir, packageFolderPath); } return moduleOutputDir; } }
public void genJavaSourceFile(File root, GeneratedModule generatedModule) { File moduleOutputDir = JavaCodeGenUtil.getModuleOutputDir(root, this, generatedModule); if (moduleOutputDir == null) { return; } if (generatedModule != null && generatedModule.canBeGenerated() && !generatedModule.hasMergeErrors()) { String javaFileName; org.overture.codegen.ir.INode irNode = generatedModule.getIrNode(); if(irNode instanceof SClassDeclIR) { // The class may have been renamed, hence different form the original name SClassDeclIR clazz = (SClassDeclIR) irNode; javaFileName = clazz.getName(); } else { javaFileName = generatedModule.getName(); } javaFileName += IJavaConstants.JAVA_FILE_EXTENSION; emitCode(moduleOutputDir, javaFileName, generatedModule.getContent()); } }
MsgPrinter.getPrinter().println(String.format("Class %s could not be merged. Following merge errors were found:", generatedClass.getName())); + generatedClass.getName() + "\n"); names.add(generatedClass.getName()); + generatedClass.getName()); MsgPrinter.getPrinter().print(q.getName() + " "); missing.add(c.getName());