lib/browser/GraphBrowser/TreeNode.java
changeset 13973 9170772bf420
parent 11873 38dc46b55d7e
child 14981 e73f8140af78
equal deleted inserted replaced
13972:fac2aa7618ed 13973:9170772bf420
    11 package GraphBrowser;
    11 package GraphBrowser;
    12 
    12 
    13 import java.awt.*;
    13 import java.awt.*;
    14 import java.util.*;
    14 import java.util.*;
    15 
    15 
    16 class Directory {
       
    17 	TreeNode node;
       
    18 	String name;
       
    19 	Vector collapsed;
       
    20 
       
    21 	public Directory(TreeNode nd,String n,Vector col) {
       
    22 		collapsed=col;
       
    23 		name=n;
       
    24 		node=nd;
       
    25 	}
       
    26 
       
    27 	public TreeNode getNode() { return node; }
       
    28 
       
    29 	public String getName() { return name; }
       
    30 
       
    31 	public Vector getCollapsed() { return collapsed; }
       
    32 }
       
    33 
    16 
    34 public class TreeNode
    17 public class TreeNode
    35 {
    18 {
    36 	int starty,endy,number;
    19 	int starty,endy,number;
    37 	String name,path;
    20 	String name,path;