soot.util.dot
Class DotGraphEdge

java.lang.Object
  extended by soot.util.dot.DotGraphEdge
All Implemented Interfaces:
Renderable

public class DotGraphEdge
extends Object
implements Renderable


Constructor Summary
DotGraphEdge(DotGraphNode src, DotGraphNode dst)
          Draws a directed edge.
DotGraphEdge(DotGraphNode src, DotGraphNode dst, boolean directed)
          Draws a graph edge by specifying directed or undirected.
 
Method Summary
 void render(OutputStream out, int indent)
           
 void setAttribute(DotGraphAttribute attr)
          Sets an edge attribute.
 void setAttribute(String id, String value)
          Sets an edge attribute.
 void setLabel(String label)
          Sets the label for the edge.
 void setStyle(String style)
          Sets the edge style.
 
Methods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
 

Constructor Detail

DotGraphEdge

public DotGraphEdge(DotGraphNode src,
                    DotGraphNode dst)
Draws a directed edge.

Parameters:
src, - the source node
dst, - 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 node
dst, - the end node
directed, - the edge is directed or not
Method Detail

setLabel

public void setLabel(String label)
Sets the label for the edge.

Parameters:
label, - a label string

setStyle

public void setStyle(String style)
Sets the edge style.

Parameters:
style, - a style of edge
See Also:
DotGraphConstants

setAttribute

public void setAttribute(String id,
                         String value)
Sets an edge attribute.

Parameters:
id, - the attribute id to be set
value, - the attribute value

setAttribute

public void setAttribute(DotGraphAttribute attr)
Sets an edge attribute.

Parameters:
attr, - a DotGraphAttribute specifying the attribute name and value.

render

public void render(OutputStream out,
                   int indent)
            throws IOException
Specified by:
render in interface Renderable
Throws:
IOException