Lines Matching defs:args
185 public static void main(String[] args) {
188 GraphBrowser gb=new GraphBrowser(args.length > 0 ? args[0] : "");
189 if (args.length > 0) {
190 InputStream is=new FileInputStream(args[0]);
191 gb.initBrowser(is, args.length > 1);
194 if (args.length > 1) {
196 if (args[1].endsWith(".ps"))
197 gb.gv.PS(args[1], true);
198 else if (args[1].endsWith(".eps"))
199 gb.gv.PS(args[1], false);
201 System.err.println("Unknown file type: " + args[1]);
203 System.err.println("Unable to write file " + args[1]);
211 System.err.println("Can't open graph file "+args[0]);