Lines Matching defs:args
63 public static void main(String[] args) {
65 if (args.length <= 1) {
70 Console console=new Console(args[0]);
71 InputStream is=new FileInputStream(args[0]);
76 if (args[1].endsWith(".ps"))
77 console.PS(args[1], true);
78 else if (args[1].endsWith(".eps"))
79 console.PS(args[1], false);
81 System.err.println("Unknown file type: " + args[1]);
83 System.err.println("Unable to write file " + args[1]);
86 System.err.println("Can't open graph file "+args[0]);