lib/browser/GraphBrowser/Directory.java
changeset 74011 1d366486a812
parent 74010 4f60db51a263
child 74012 341941afe827
equal deleted inserted replaced
74010:4f60db51a263 74011:1d366486a812
     1 package GraphBrowser;
       
     2 
       
     3 import java.util.Vector;
       
     4 
       
     5 class Directory {
       
     6 	TreeNode node;
       
     7 	String name;
       
     8 	Vector collapsed;
       
     9 
       
    10 	public Directory(TreeNode nd,String n,Vector col) {
       
    11 		collapsed=col;
       
    12 		name=n;
       
    13 		node=nd;
       
    14 	}
       
    15 
       
    16 	public TreeNode getNode() { return node; }
       
    17 
       
    18 	public String getName() { return name; }
       
    19 
       
    20 	public Vector getCollapsed() { return collapsed; }
       
    21 }