--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/Directory.java Wed May 07 17:41:23 2003 +0200
@@ -0,0 +1,21 @@
+package GraphBrowser;
+
+import java.util.Vector;
+
+class Directory {
+ TreeNode node;
+ String name;
+ Vector collapsed;
+
+ public Directory(TreeNode nd,String n,Vector col) {
+ collapsed=col;
+ name=n;
+ node=nd;
+ }
+
+ public TreeNode getNode() { return node; }
+
+ public String getName() { return name; }
+
+ public Vector getCollapsed() { return collapsed; }
+}
--- a/lib/browser/GraphBrowser/Graph.java Wed May 07 17:40:48 2003 +0200
+++ b/lib/browser/GraphBrowser/Graph.java Wed May 07 17:41:23 2003 +0200
@@ -14,10 +14,6 @@
import java.awt.*;
import java.io.*;
-class ParseError extends Exception {
- public ParseError(String s) { super(s); }
-}
-
public class Graph {
/**** parameters for layout ****/
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/ParseError.java Wed May 07 17:41:23 2003 +0200
@@ -0,0 +1,5 @@
+package GraphBrowser;
+
+class ParseError extends Exception {
+ public ParseError(String s) { super(s); }
+}
--- a/lib/browser/GraphBrowser/TreeNode.java Wed May 07 17:40:48 2003 +0200
+++ b/lib/browser/GraphBrowser/TreeNode.java Wed May 07 17:41:23 2003 +0200
@@ -13,23 +13,6 @@
import java.awt.*;
import java.util.*;
-class Directory {
- TreeNode node;
- String name;
- Vector collapsed;
-
- public Directory(TreeNode nd,String n,Vector col) {
- collapsed=col;
- name=n;
- node=nd;
- }
-
- public TreeNode getNode() { return node; }
-
- public String getName() { return name; }
-
- public Vector getCollapsed() { return collapsed; }
-}
public class TreeNode
{