public static void main(String[] argv) { try { IAPI m = Factory.makeAPI(new String[] {}); JCTree.JCExpression expr = m.parseExpression("a <==> \\result", true); String s = m.prettyPrint(expr); System.out.println(s); } catch (Exception e) { System.out.println(e); } }
public static void main(String[] argv) { try { java.io.File f1 = new java.io.File("src/demo/A.java"); java.io.File f2 = new java.io.File("src/demo/B.java"); IAPI m = Factory.makeAPI("-noPurityCheck"); List<JmlTree.JmlCompilationUnit> asts = m.parseFiles(f1, f2); int ret = m.typecheck(asts); System.out.println("Trees: " + asts.size() + " Errors: " + ret); } catch (Exception e) { System.out.println(e); } }