sandmark.util.graph
Class Dot.MyEdge

java.lang.Object
  |
  +--sandmark.util.graph.Edge
        |
        +--sandmark.util.graph.Dot.MyEdge

All Implemented Interfaces:

java.lang.Cloneable

Enclosing class:

Dot

static class Dot.MyEdge

extends Edge

Field Summary

(package private) int

data

Fields inherited from class sandmark.util.graph.Edge

BACK, Class, classNames, CROSS, edgeColors, FORWARD, NO_EDGE_NUMBER, NOCLASS, sink, source, theEdgeNumber, TREE

Constructor Summary

Dot.MyEdge(Node source, Node sink, int theEdgeNumber, int data)

Method Summary

java.lang.String

toDot() Format the edge in the dot format.

Methods inherited from class sandmark.util.graph.Edge

classToString, clone, color, edgeClass, edgeNumber, equals, fontsize, getSink, getSource, hashCode, main, name, orientation, setEdgeClass, setEdgeNumber, sinkNode, sourceNode, style, toDot, toString

Methods inherited from class java.lang.Object

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

Field Detail

data

int data

Constructor Detail

Dot.MyEdge

public Dot.MyEdge(Node source,
                  Node sink,
                  int theEdgeNumber,
                  int data)

Method Detail

toDot

public java.lang.String toDot()

Description copied from class: Edge

Format the edge in the dot format. This method should typically be overridden in order to format the edge label:

    public String toDot() {
       return toDot(data);
    }
 

Overrides:

toDot in class Edge