sota.gui.graph
Class CFGPlotter

java.lang.Object
  extended by sota.gui.graph.CFGPlotter

public class CFGPlotter
extends java.lang.Object

Klasse, die einen DirectedGraph zeichnet. Ursprungsauthor: Daniel Lee


Nested Class Summary
(package private) static class CFGPlotter.LeftOrRightAnchor
           
(package private) static class CFGPlotter.TopOrBottomAnchor
           
 
Field Summary
protected  org.eclipse.draw2d.IFigure contents
          Contents of the demo
(package private) static java.util.HashMap<org.eclipse.draw2d.graph.Edge,org.eclipse.draw2d.PolylineConnection> edgeMap
           
private  org.eclipse.draw2d.FigureCanvas fc
           
private static GraphManager gcm
           
private  org.eclipse.draw2d.graph.DirectedGraph graph
           
private static ZoomManager zoomManager
           
 
Constructor Summary
CFGPlotter(org.eclipse.swt.widgets.Composite composite, GraphManager gcm)
           
 
Method Summary
(package private) static void buildEdgeFigure(org.eclipse.draw2d.Figure contents, org.eclipse.draw2d.graph.Edge edge)
          Builds a figure for the given edge and adds it to contents
static org.eclipse.draw2d.Figure buildFigureFromGraph(org.eclipse.draw2d.graph.DirectedGraph graph)
           
(package private) static void buildNodeFigure(org.eclipse.draw2d.Figure contents, org.eclipse.draw2d.graph.Node _node)
          Builds a Figure for the given node and adds it to contents
(package private) static org.eclipse.draw2d.PolylineConnection connection(org.eclipse.draw2d.graph.Edge e)
          Builds a connection for the given edge
protected  org.eclipse.draw2d.IFigure getContents()
           
 void setContents(org.eclipse.draw2d.graph.DirectedGraph graph)
           
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Field Detail

contents

protected org.eclipse.draw2d.IFigure contents
Contents of the demo


edgeMap

static java.util.HashMap<org.eclipse.draw2d.graph.Edge,org.eclipse.draw2d.PolylineConnection> edgeMap

fc

private org.eclipse.draw2d.FigureCanvas fc

gcm

private static GraphManager gcm

graph

private org.eclipse.draw2d.graph.DirectedGraph graph

zoomManager

private static ZoomManager zoomManager
Constructor Detail

CFGPlotter

public CFGPlotter(org.eclipse.swt.widgets.Composite composite,
                  GraphManager gcm)
Method Detail

buildEdgeFigure

static void buildEdgeFigure(org.eclipse.draw2d.Figure contents,
                            org.eclipse.draw2d.graph.Edge edge)
Builds a figure for the given edge and adds it to contents

Parameters:
contents - the parent figure to add the edge to
edge - the edge

buildFigureFromGraph

public static org.eclipse.draw2d.Figure buildFigureFromGraph(org.eclipse.draw2d.graph.DirectedGraph graph)

buildNodeFigure

static void buildNodeFigure(org.eclipse.draw2d.Figure contents,
                            org.eclipse.draw2d.graph.Node _node)
Builds a Figure for the given node and adds it to contents

Parameters:
contents - the parent Figure to add the node to
_node - the node to add

connection

static org.eclipse.draw2d.PolylineConnection connection(org.eclipse.draw2d.graph.Edge e)
Builds a connection for the given edge

Parameters:
e - the edge
Returns:
the connection

getContents

protected org.eclipse.draw2d.IFigure getContents()

setContents

public void setContents(org.eclipse.draw2d.graph.DirectedGraph graph)