soot.util.dot

Class DotGraphEdge

java.lang.Object

soot.util.dot.DotGraphEdge

All Implemented Interfaces:

Renderable

public class DotGraphEdge
extends Object
implements Renderable

Constructor Summary

Constructors

Constructor and Description
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

Modifier and Type	Method and Description
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