lib/browser/GraphBrowser/TreeNode.java
author berghofe
Thu, 29 Apr 1999 22:42:38 +0200
changeset 6541 d3ac35b2bfbf
parent 3599 89cbba12863d
child 6657 9627197bd9e1
permissions -rw-r--r--
Updated to JDK 1.1.x
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     1
/***************************************************************************
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     2
  Title:      GraphBrowser/TreeNode.java
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     3
  ID:         $Id$
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     4
  Author:     Stefan Berghofer, TU Muenchen
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     5
  Copyright   1997  TU Muenchen
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     6
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     7
  This class contains methods for storing and manipulating directory
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     8
  trees (e.g. collapsing / uncollapsing directory branches).
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
     9
***************************************************************************/
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    10
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    11
package GraphBrowser;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    12
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    13
import java.awt.*;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    14
import java.util.*;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    15
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    16
class Directory {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    17
	TreeNode node;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    18
	String name;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    19
	Vector collapsed;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    20
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    21
	public Directory(TreeNode nd,String n,Vector col) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    22
		collapsed=col;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    23
		name=n;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    24
		node=nd;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    25
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    26
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    27
	public TreeNode getNode() { return node; }
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    28
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    29
	public String getName() { return name; }
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    30
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    31
	public Vector getCollapsed() { return collapsed; }
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    32
}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    33
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    34
public class TreeNode
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    35
{
6541
d3ac35b2bfbf Updated to JDK 1.1.x
berghofe
parents: 3599
diff changeset
    36
	static Font f=new Font("Helvetica", Font.PLAIN, 14);
3599
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    37
	int starty,endy,number;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    38
	String name,path;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    39
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    40
	Vector leaves=new Vector(10,10);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    41
	boolean unfold=false;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    42
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    43
	public void insertNode(String n,String d,String p,int num,boolean u) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    44
		if (d.length()==0) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    45
			leaves.addElement(new TreeNode(n,p,num));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    46
			unfold=unfold||u;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    47
		} else {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    48
			unfold=unfold||u;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    49
			String str1,str2;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    50
			if (d.indexOf('/')<0) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    51
				str1=d;str2="";
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    52
			} else {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    53
				str1=d.substring(0,d.indexOf('/'));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    54
				str2=d.substring(d.indexOf('/')+1);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    55
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    56
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    57
			Enumeration e1=leaves.elements();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    58
			TreeNode nd=null;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    59
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    60
			while (e1.hasMoreElements()) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    61
				TreeNode nd2=(TreeNode)(e1.nextElement());
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    62
				if (nd2.name.equals(str1)) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    63
					nd=nd2;break;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    64
				}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    65
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    66
			if (nd==null) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    67
				nd=new TreeNode(str1,"",-1);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    68
				leaves.addElement(nd);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    69
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    70
			nd.insertNode(n,str2,p,num,u);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    71
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    72
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    73
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    74
	public TreeNode(String n,String p,int num) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    75
		name=n;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    76
		path=p;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    77
		number=num;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    78
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    79
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    80
	public TreeNode(String n,String p,int num,boolean u) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    81
		this(n,p,num);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    82
		unfold=u;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    83
	}	
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    84
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    85
	public int getNumber() { return number; }
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    86
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    87
	public TreeNode lookup(int y)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    88
	{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    89
		if (y>=starty && y<endy) return this;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    90
		else
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    91
		if (unfold)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    92
			for (int i=0;i<leaves.size();i++)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    93
			{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    94
				TreeNode t=((TreeNode)leaves.elementAt(i)).lookup(y);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    95
				if (t!=null) return t;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    96
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    97
		return null;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    98
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
    99
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   100
	public boolean select()
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   101
	{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   102
		if (!leaves.isEmpty()) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   103
			if (unfold) collapse();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   104
			else unfold=true;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   105
			return true;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   106
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   107
		return false; 
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   108
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   109
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   110
	public void collapse()
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   111
	{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   112
		unfold=false;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   113
		/*
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   114
		for(int i=0;i<leaves.size();i++)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   115
			((Tree)leaves.elementAt(i)).collapse();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   116
		*/
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   117
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   118
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   119
	void collapsedNodes(Vector v) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   120
		if (number>=0) v.addElement(new Integer(number));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   121
		Enumeration e1=leaves.elements();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   122
		while (e1.hasMoreElements())
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   123
			((TreeNode)(e1.nextElement())).collapsedNodes(v);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   124
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   125
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   126
	public void collapsedDirectories(Vector v) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   127
		if (!unfold) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   128
			Vector v2=new Vector(10,10);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   129
			v.addElement(new Directory(this,name,v2));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   130
			collapsedNodes(v2);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   131
		} else {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   132
			Enumeration e1=leaves.elements();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   133
			while (e1.hasMoreElements()) {
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   134
				TreeNode tn=(TreeNode)(e1.nextElement());
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   135
				if (!tn.leaves.isEmpty())
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   136
					tn.collapsedDirectories(v);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   137
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   138
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   139
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   140
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   141
	public Dimension draw(Graphics g,int x,int y,TreeNode t)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   142
	{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   143
		FontMetrics fm=g.getFontMetrics(f);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   144
		g.setFont(f);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   145
		int h=fm.getHeight();
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   146
		int down_x[]={x,x+h,x+(int)(h/2)};
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   147
		int down_y[]={y,y,y+h};
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   148
		int right_x[]={x,x+h,x};
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   149
		int right_y[]={y,y+(int)(h/2),y+h};
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   150
		int dx=0;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   151
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   152
		if (unfold)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   153
		{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   154
			g.setColor(Color.green);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   155
			g.fillPolygon(down_x,down_y,3);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   156
			g.setColor(Color.black);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   157
			g.drawString(name,x+h+10,y+fm.getAscent());
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   158
			starty=y;endy=y+h;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   159
			dx=Math.max(dx,x+h+10+fm.stringWidth(name));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   160
			y+=h+5;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   161
			for(int i=0;i<leaves.size();i++)
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   162
			{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   163
				Dimension d=((TreeNode)leaves.elementAt(i)).draw(g,x+h+10,y,t);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   164
				y=d.height;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   165
				dx=Math.max(dx,d.width);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   166
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   167
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   168
		else
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   169
		{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   170
			g.setColor(leaves.isEmpty() ? Color.blue : Color.red);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   171
			g.fillPolygon(right_x,right_y,3);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   172
			if (this==t && leaves.isEmpty())
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   173
			{
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   174
				g.setColor(Color.white);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   175
				g.fillRect(x+h+10,y,fm.stringWidth(name),h);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   176
			}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   177
			g.setColor(Color.black);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   178
			g.drawString(name,x+h+10,y+fm.getAscent());
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   179
			starty=y;endy=y+h;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   180
			dx=Math.max(dx,x+h+10+fm.stringWidth(name));
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   181
			y+=h+5;
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   182
		}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   183
		return new Dimension(dx,y);
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   184
	}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   185
}
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   186
89cbba12863d Source files for Isabelle theory graph browser.
berghofe
parents:
diff changeset
   187