|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |
java.lang.Object | +--soot.util.dot.DotGraph
Constructor Summary | |
DotGraph(java.lang.String graphname)
Creates a new graph for drawing. |
Method Summary | |
DotGraph |
createSubGraph(java.lang.String label)
creates a sub graph. |
DotGraphEdge |
drawEdge(java.lang.String from,
java.lang.String to)
Draws a directed edge (including the source and end nodes, if they have not already been drawn). |
DotGraphNode |
drawNode(java.lang.String name)
Draws a node. |
void |
drawUndirectedEdge(java.lang.String label1,
java.lang.String label2)
draws an undirected edge |
DotGraphNode |
getNode(java.lang.String name)
Gets the graph node by name. |
void |
plot()
Generates the drawing on canvas to the dot file. |
void |
render(java.io.OutputStream out,
int indent)
|
void |
setGraphAttribute(java.lang.String id,
java.lang.String value)
sets any general attributes |
void |
setGraphLabel(java.lang.String label)
sets the graph label |
void |
setGraphSize(double width,
double height)
sets the size of drawing area, in inches |
void |
setNodeShape(java.lang.String shape)
Sets all node shapes, see the list of node shapes in DotGraphConstants. |
void |
setNodeStyle(java.lang.String style)
Sets all node styles |
void |
setOrientation(java.lang.String orientation)
sets the graph rotation angles |
void |
setPageSize(double width,
double height)
sets the pages size, once this is set, the generated graph will be broken into several pages. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
Constructor Detail |
public DotGraph(java.lang.String graphname)
graphname,
- the file name with dot format will be generatedMethod Detail |
public void plot()
public DotGraphEdge drawEdge(java.lang.String from, java.lang.String to)
from,
- the source nodeto,
- the end nodepublic DotGraphNode drawNode(java.lang.String name)
name,
- the node to draw.DotGraphNode
corresponding to the
specified name.public DotGraphNode getNode(java.lang.String name)
name,
- unique name of the node.null
if there is no such node.public void setNodeShape(java.lang.String shape)
shape,
- the node shapepublic void setNodeStyle(java.lang.String style)
style,
- the node stylepublic void setGraphSize(double width, double height)
public void setPageSize(double width, double height)
public void setOrientation(java.lang.String orientation)
public void setGraphLabel(java.lang.String label)
public void setGraphAttribute(java.lang.String id, java.lang.String value)
public void drawUndirectedEdge(java.lang.String label1, java.lang.String label2)
label1,
- label2public DotGraph createSubGraph(java.lang.String label)
public void render(java.io.OutputStream out, int indent) throws java.io.IOException
|
|||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | ||||||||
SUMMARY: INNER | FIELD | CONSTR | METHOD | DETAIL: FIELD | CONSTR | METHOD |