public static boolean isVdmSourceFile(File f) { return isVdmPpSourceFile(f) || isVdmSlSourceFile(f) || isVdmRtSourceFile(f); }
public static boolean isVdmSlSourceFile(File f) { return hasExtension(f, new String[] { ".vsl", ".vdmsl" }); }
public boolean hasErrors() { return modelThy.hasMergeErrors() || modelThy.hasUnsupportedIrNodes() || modelThy.hasUnsupportedTargLangNodes(); }
public String getErrorMessage() { StringBuilder sb = new StringBuilder(); sb.append(modelThy.getMergeErrors().toString()); sb.append(LINEBREAK); sb.append(modelThy.getUnsupportedInIr().toString()); sb.append(LINEBREAK); sb.append(modelThy.getUnsupportedInTargLang().toString()); return sb.toString(); }
private void findVdmSources(List<File> files, File specificationRoot) { for (File f : GeneralUtils.getFilesRecursively(specificationRoot)) { if (GeneralCodeGenUtils.isVdmSourceFile(f)) { files.add(f); } } }
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; }
public String getModelThyString() { return modelThy.getContent(); }
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 String deSerialize(String resultPath) throws FileNotFoundException, IOException { return GeneralUtils.readFromFile(new File(resultPath)); }
public String escapeChar(char c) { return GeneralUtils.isEscapeSequence(c) ? StringEscapeUtils.escapeJavaScript(c + "") : c + ""; }
private boolean hasErrors(List<GeneratedModule> modules) { if (modules != null) { for (GeneratedModule clazz : modules) { if (clazz.hasErrors()) { return true; } } } return false; } }
public static void deleteFolderContents(File folder, boolean removeFolders) { deleteFolderContents(folder, new ArrayList<String>(), removeFolders); }
public static StringBuffer readFromFile(String relativepath, Class<?> classRef) throws IOException { InputStream input = classRef.getResourceAsStream('/' + relativepath.replace("\\", "/")); return readFromInputStream(input); }
public void genJavaSourceFiles(File root, List<GeneratedModule> generatedClasses) { for (GeneratedModule classCg : generatedClasses) { if (classCg.canBeGenerated()) { genJavaSourceFile(root, classCg); } } }
@Override public boolean equals(Object obj) { if (!(obj instanceof LexNameTokenWrapper)) { return false; } LexNameTokenWrapper other = (LexNameTokenWrapper) obj; return name.getName().equals(other.getName().getName()); } }
public static boolean isVdmPpSourceFile(File f) { return hasExtension(f, new String[] { ".vdmpp", ".vpp" }); }
public String escapeStr(String str) { String escaped = ""; for (int i = 0; i < str.length(); i++) { char currentChar = str.charAt(i); escaped += GeneralUtils.isEscapeSequence(currentChar) ? StringEscapeUtils.escapeJava(currentChar + "") : currentChar + ""; } return escaped; }
public static boolean isVdmRtSourceFile(File f) { return hasExtension(f, new String[] { ".vdmrt", ".vrt" }); }