1 package annotations.tests.executable; 2 3 /*>>> 4 import org.checkerframework.checker.nullness.qual.*; 5 */ 6 7 import java.io.*; 8 9 import plume.FileIOException; 10 11 import annotations.el.*; 12 import annotations.io.*; 13 14 public class JavapDemo { 15 public static void main(String[] args) throws IOException, FileIOException, DefException { 16 /*@NonNull*/ AScene scene = new AScene(); 17 18 String filename = args[0]; 19 LineNumberReader lnr = new LineNumberReader(new FileReader(filename)); 20 try { 21 JavapParser.parse(new FileReader(filename), scene); 22 } catch (ParseException e) { 23 throw new FileIOException(lnr, filename, e); 24 } 25 26 IndexFileWriter.write(scene, new OutputStreamWriter(System.out)); 27 } 28 } 29
