soot.util
Class DotGraphEdge

java.lang.Object
  |
  +--soot.util.DotGraphEdge
All Implemented Interfaces:
Renderable

public class DotGraphEdge
extends java.lang.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(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
 

Constructor Detail

DotGraphEdge

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


DotGraphEdge

public DotGraphEdge(DotGraphNode src,
                    DotGraphNode dst,
                    boolean directed)
Draws a graph edge by specifying directed or undirected.

Method Detail

setLabel

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


setStyle

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

See Also:
DotGraphConstants

setAttribute

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


render

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