Package soot.util.dot

Class DotGraphEdge

java.lang.Object

soot.util.dot.AbstractDotGraphElement

soot.util.dot.DotGraphEdge

All Implemented Interfaces:

Renderable

public class DotGraphEdge
extends AbstractDotGraphElement
implements Renderable

Graph edges are the major elements of a graph

Author:

Feng Qian

Constructor Summary

Constructors

Constructor	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	Description
void	render(OutputStream out, int indent)
void	setStyle(String style)	Sets the edge style.

Methods inherited from class soot.util.dot.AbstractDotGraphElement

getAttribute, getAttributes, getAttributeValue, getLabel, removeAllAttributes, removeAttribute, removeAttribute, setAttribute, setAttribute, setLabel

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

setStyle

public void setStyle(String style)

Sets the edge style.

Parameters:

style - , a style of edge

See Also:

DotGraphConstants

render

public void render(OutputStream out,
                   int indent)
            throws IOException

Specified by:

render in interface Renderable

Throws:

IOException