DemoParseAndPrint1.java

// DemoParseAndPrint1.java
import org.jmlspecs.openjml.*;

public class DemoParseAndPrint1 {

    public static void main(String[] argv) {
        try {
            java.io.File f = new java.io.File("src/demo/A.java");
            IAPI m = Factory.makeAPI();
            String s = m.prettyPrint(m.parseFiles(f).get(0));
            System.out.println(s);
        } catch (Exception e) {
            System.out.println(e);         
        }
    }
}