--- /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; }
+}