sandmark.watermark.ct.trace.callforest
Class Edge

java.lang.Object
  |
  +--sandmark.util.graph.Edge
        |
        +--sandmark.watermark.ct.trace.callforest.Edge

All Implemented Interfaces:

java.lang.Cloneable

public class Edge

extends Edge

Field Summary

static int

MISSING_weight

Fields inherited from class sandmark.util.graph.Edge

BACK, CROSS, FORWARD, NO_EDGE_NUMBER, NOCLASS, sink, source, theEdgeNumber, TREE

Constructor Summary

Edge(Node from, Node to, int weight)

Method Summary

protected java.lang.String	color() Return the color of this edge.
protected int	fontsize() Return the fontsize of this edge.
protected int	getWeight() Return the weight of this edge.
protected java.lang.String	orientation() Orientation doesn't matter for call graph edges.
protected void	setWeight(int weight) Set the weight of this edge.
protected java.lang.String	style() Return the style of this node.
java.lang.String	toDot() Format the node label in the dot format.
java.lang.String	toString() Format the data in an easy to parse form.

Methods inherited from class sandmark.util.graph.Edge

classToString, clone, edgeClass, edgeNumber, equals, getSink, getSource, hashCode, main, name, setEdgeClass, setEdgeNumber, sinkNode, sourceNode, toDot

Methods inherited from class java.lang.Object

finalize, getClass, notify, notifyAll, wait, wait, wait

Field Detail

MISSING_weight

public static final int MISSING_weight

See Also:

Constant Field Values

Constructor Detail

Edge

public Edge(Node from,
            Node to,
            int weight)

Method Detail

toString

public java.lang.String toString()

Format the data in an easy to parse form.

Overrides:

toString in class Edge

getWeight

protected int getWeight()

Return the weight of this edge.

setWeight

protected void setWeight(int weight)

Set the weight of this edge.

color

protected java.lang.String color()

Return the color of this edge.

Overrides:

color in class Edge

style

protected java.lang.String style()

Return the style of this node. Used when generating code for dot.

Overrides:

style in class Edge

fontsize

protected int fontsize()

Return the fontsize of this edge. Used when generating code for dot.

Overrides:

fontsize in class Edge

orientation

protected java.lang.String orientation()

Orientation doesn't matter for call graph edges.

Overrides:

orientation in class Edge

toDot

public java.lang.String toDot()

Format the node label in the dot format.

Overrides:

toDot in class Edge