Exemplos de IAPI.prettyPrint em Java

Exemplo n.º 1

Arquivo: DemoParseExpression2.java Projeto: mioyoytu/OpenJML

 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);
   }
 }