changeset 74011 | 1d366486a812 |
parent 74010 | 4f60db51a263 |
child 74012 | 341941afe827 |
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 } |