equal
deleted
inserted
replaced
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; |