--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/lib/browser/GraphBrowser/GraphView.java Wed Aug 06 00:06:47 1997 +0200
@@ -0,0 +1,236 @@
+/***************************************************************************
+ Title: GraphBrowser/GraphView.java
+ ID: $Id$
+ Author: Stefan Berghofer, TU Muenchen
+ Copyright 1997 TU Muenchen
+
+ This class defines the window in which the graph is displayed. It
+ contains methods for handling events such as collapsing / uncollapsing
+ nodes of the graph.
+***************************************************************************/
+
+package GraphBrowser;
+
+import java.awt.*;
+import java.io.*;
+import java.util.*;
+import awtUtilities.*;
+
+public class GraphView extends ScrollCanvas {
+ Graph gra,gra2;
+ GraphBrowser parent;
+ Vertex v=null;
+ Vector collapsed=new Vector(10,10);
+ Vector collapsedDirs=new Vector(10,10);
+ TreeBrowser tb;
+ long timestamp;
+ Vertex highlighted=null;
+
+ public void setTreeBrowser(TreeBrowser br) {
+ tb=br;
+ }
+
+ public GraphBrowser getBrowser() { return parent; }
+
+ public Graph getGraph() { return gra; }
+
+ public Graph getOriginalGraph() { return gra2; }
+
+ public GraphView(Graph gr,GraphBrowser br) {
+ gra2=gr;
+ parent=br;
+ gra=(Graph)(gra2.clone());
+ }
+
+ public void PS(String fname,boolean printable) throws IOException {
+ gra.PS(fname,printable);
+ }
+
+ public void paintCanvas(Graphics g)
+ {
+ set_size(gra.max_x-gra.min_x,gra.max_y-gra.min_y);
+ gra.draw(g);
+ }
+
+ public boolean mouseMove(Event evt,int x,int y) {
+ x+=gra.min_x;
+ y+=gra.min_y;
+
+ Vertex v2=gra.vertexAt(x,y);
+ Graphics g=getGraphics();
+ g.translate(-gra.min_x,-gra.min_y);
+ if (highlighted!=null) {
+ highlighted.drawBox(g,Color.lightGray);
+ highlighted=null;
+ }
+ if (v2!=v) {
+ if (v!=null) v.removeButtons(g);
+ if (v2!=null) v2.drawButtons(g);
+ v=v2;
+ }
+ return true;
+ }
+
+ /*****************************************************************/
+ /* This method is called if successor / predecessor nodes (whose */
+ /* numbers are stored in Vector c) of a certain node should be */
+ /* displayed again */
+ /*****************************************************************/
+
+ void uncollapse(Vector c) {
+ collapsed.removeElement(c);
+ collapseNodes();
+ }
+
+ /*****************************************************************/
+ /* This method is called by class TreeBrowser when directories */
+ /* are collapsed / uncollapsed by the user */
+ /*****************************************************************/
+
+ public void collapseDir(Vector v) {
+ collapsedDirs=v;
+
+ collapseNodes();
+ }
+
+ /*****************************************************************/
+ /* Inflate node again */
+ /*****************************************************************/
+
+ public void inflateNode(Vector c) {
+ Enumeration e1;
+
+ e1=collapsedDirs.elements();
+ while (e1.hasMoreElements()) {
+ Directory d=(Directory)(e1.nextElement());
+ if (d.collapsed==c) {
+ tb.selectNode(d.getNode());
+ return;
+ }
+ }
+
+ collapsed.removeElement(c);
+ e1=gra2.getVertices();
+ while (e1.hasMoreElements()) {
+ Vertex vx=(Vertex)(e1.nextElement());
+ if (vx.getUp()==c) vx.setUp(null);
+ if (vx.getDown()==c) vx.setDown(null);
+ }
+
+ collapseNodes();
+ relayout();
+ }
+
+ public void relayout() {
+ parent.showWaitMessage();
+ highlighted=null;
+ gra.layout(getGraphics());
+ v=null;
+ update(getGraphics());
+ parent.showReadyMessage();
+ }
+
+ public void focusToVertex(int n) {
+ Vertex vx=gra.getVertexByNum(n);
+ if (vx!=null) {
+ focus_to(vx.getX()-gra.min_x,vx.getY()-gra.min_y);
+ highlighted=vx;
+ Graphics g=getGraphics();
+ g.translate(-gra.min_x,-gra.min_y);
+ vx.drawBox(g,Color.white);
+ }
+ }
+
+ /*****************************************************************/
+ /* Create new graph with collapsed nodes */
+ /*****************************************************************/
+
+ public void collapseNodes() {
+ Enumeration e1=collapsed.elements();
+ gra=(Graph)(gra2.clone());
+
+ while (e1.hasMoreElements()) {
+ Vector v1=(Vector)(e1.nextElement());
+ Vector v2=gra.decode(v1);
+ if (!v2.isEmpty()) gra.collapse(v2,"[. . . .]",v1);
+ }
+
+ e1=collapsedDirs.elements();
+
+ while (e1.hasMoreElements()) {
+ Directory d=(Directory)(e1.nextElement());
+ Vector v=gra.decode(d.getCollapsed());
+ if (!v.isEmpty())
+ gra.collapse(v,"["+d.getName()+"]",d.getCollapsed());
+ }
+ }
+
+ public boolean mouseDown(Event evt,int x,int y) {
+ Vector code=null;
+ Vertex v2;
+ x+=gra.min_x;
+ y+=gra.min_y;
+
+ if (v!=null) {
+ int num=v.getNumber();
+ v2=gra2.getVertexByNum(num);
+ if (v.leftButton(x,y)) {
+ if (v.getUp()!=null) {
+ code=v.getUp();
+ v2.setUp(null);
+ v=null;
+ uncollapse(code);
+ relayout();
+ focusToVertex(num);
+ } else {
+ Vector vs=v2.getPreds();
+ code=gra2.encode(vs);
+ v.setUp(code);v2.setUp(code);
+ v=null;
+ collapsed.insertElementAt(code,0);
+ collapseNodes();
+ relayout();
+ focusToVertex(num);
+ }
+ } else if (v.rightButton(x,y)) {
+ if (v.getDown()!=null) {
+ code=v.getDown();
+ v2.setDown(null);
+ v=null;
+ uncollapse(code);
+ relayout();
+ focusToVertex(num);
+ } else {
+ Vector vs=v2.getSuccs();
+ code=gra2.encode(vs);
+ v.setDown(code);v2.setDown(code);
+ v=null;
+ collapsed.insertElementAt(code,0);
+ collapseNodes();
+ relayout();
+ focusToVertex(num);
+ }
+ } else if (v.getInflate()!=null) {
+ inflateNode(v.getInflate());
+ v=null;
+ } else {
+ if (evt.when-timestamp < 400 && !(v.getPath().equals("")))
+ parent.viewFile(v.getPath());
+ timestamp=evt.when;
+ }
+ }
+ return true;
+ }
+
+ public boolean mouseExit(Event evt,int x,int y) {
+ Graphics g=getGraphics();
+ g.translate(-gra.min_x,-gra.min_y);
+ if (highlighted!=null) {
+ highlighted.drawBox(g,Color.lightGray);
+ highlighted=null;
+ }
+ if (v!=null) v.removeButtons(g);
+ v=null;
+ return true;
+ }
+}