sota.gui.graph
Class CFGPlotter
java.lang.Object
sota.gui.graph.CFGPlotter
public class CFGPlotter
- extends java.lang.Object
Klasse, die einen DirectedGraph zeichnet.
Ursprungsauthor: Daniel Lee
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
|
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 |
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
CFGPlotter
public CFGPlotter(org.eclipse.swt.widgets.Composite composite,
GraphManager gcm)
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 toedge
- 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)