--- a/lib/browser/GraphBrowser/Console.java Wed May 07 16:58:17 2003 +0200
+++ b/lib/browser/GraphBrowser/Console.java Wed May 07 17:04:45 2003 +0200
@@ -1,7 +1,7 @@
/***************************************************************************
Title: GraphBrowser/Console.java
ID: $Id$
- Author: Stefan Berghofer, TU Muenchen
+ Author: Gerwin Klein, TU Muenchen
License: GPL (GNU GENERAL PUBLIC LICENSE)
This is the graph browser's main class when run as a console application.
@@ -17,14 +17,13 @@
public class Console {
Graph g;
- // TreeBrowser tb;
String gfname;
public Console(String name) {
gfname = name;
}
- public void PS(String fname,boolean printable) throws IOException {
+ public void PS(String fname, boolean printable) throws IOException {
g.layout(null);
g.PS(fname,printable);
}
@@ -33,30 +32,24 @@
try {
TreeNode tn = new TreeNode("Root", "", -1, true);
g = new Graph(is, tn);
-
- // gv = new GraphView(new Graph(is, tn), null, null);
- // tb = new TreeBrowser(tn, gv, font);
- // gv.setTreeBrowser(tb);
- // Vector v = new Vector(10,10);
- // tn.collapsedDirectories(v);
- // gv.collapseDir(v);
} catch (IOException exn) {
System.err.println("\nI/O error while reading graph file.");
} catch (ParseError exn) {
System.err.println("\nParse error in graph file:");
System.err.println(exn.getMessage());
- System.err.println("\nSyntax:\n<vertexname> <vertexID> <dirname> [ + ] <path> [ < | > ] [ <vertexID> [ ... [ <vertexID> ] ... ] ] ;");
+ System.err.println("\nSyntax:\n<vertexname> <vertexID> <dirname> [ + ] <path> "+
+ "[ < | > ] [ <vertexID> [ ... [ <vertexID> ] ... ] ] ;");
}
}
public static void main(String[] args) {
try {
if (args.length <= 1) {
- System.err.println("Graph and output file expected");
+ System.err.println("Graph and output file expected.");
return;
}
+
Console console=new Console(args[0]);
-
InputStream is=new FileInputStream(args[0]);
console.initBrowser(is);
is.close();
@@ -76,4 +69,3 @@
}
}
}
-