1 package annotations.tests.executable; 2 3 /*>>> 4 import org.checkerframework.checker.nullness.qual.*; 5 */ 6 7 import java.io.*; 8 9 import annotations.el.*; 10 import annotations.io.*; 11 import annotations.io.classfile.*; 12 13 /** 14 * A(n) <code>ClassToIndexDemo</code> is/represents ... 15 */ 16 public class ClassToIndexDemo { 17 public static void main(String[] args) throws IOException, DefException { 18 AScene s = new AScene(); 19 ClassFileReader.read(s, args[0]); 20 IndexFileWriter.write(s, new OutputStreamWriter(System.out)); 21 } 22 } 23