soot.util.dot
Class DotGraphEdge
java.lang.Object
|
+--soot.util.dot.DotGraphEdge
- public class DotGraphEdge
- extends java.lang.Object
- implements Renderable
Method Summary |
void |
render(java.io.OutputStream out,
int indent)
|
void |
setAttribute(java.lang.String id,
java.lang.String value)
Sets an edge attribute. |
void |
setLabel(java.lang.String label)
Sets the label for the edge. |
void |
setStyle(java.lang.String style)
Sets the edge style. |
Methods inherited from class java.lang.Object |
clone,
equals,
finalize,
getClass,
hashCode,
notify,
notifyAll,
toString,
wait,
wait,
wait |
DotGraphEdge
public DotGraphEdge(DotGraphNode src,
DotGraphNode dst)
- Draws a directed edge.
- Parameters:
src,
- the source nodedst,
- the end node
DotGraphEdge
public DotGraphEdge(DotGraphNode src,
DotGraphNode dst,
boolean directed)
- Draws a graph edge by specifying directed or undirected.
- Parameters:
src,
- the source nodedst,
- the end nodedirected,
- the edge is directed or not
setLabel
public void setLabel(java.lang.String label)
- Sets the label for the edge.
- Parameters:
label,
- a label string
setStyle
public void setStyle(java.lang.String style)
- Sets the edge style.
- Parameters:
style,
- a style of edge- See Also:
DotGraphConstants
setAttribute
public void setAttribute(java.lang.String id,
java.lang.String value)
- Sets an edge attribute.
- Parameters:
id,
- the attribute id to be setvalue,
- the attribute value
render
public void render(java.io.OutputStream out,
int indent)
throws java.io.IOException
- Specified by:
- render in interface Renderable