sandmark.util.graph
Class Dot.MyNode

java.lang.Object
  |
  +--sandmark.util.graph.Node
        |
        +--sandmark.util.graph.Dot.MyNode

All Implemented Interfaces:

java.lang.Cloneable

Enclosing class:

Dot

static class Dot.MyNode

extends Node

Field Summary

(package private) java.lang.String

data

Fields inherited from class sandmark.util.graph.Node

number

Constructor Summary

Dot.MyNode(java.lang.String data)

Method Summary

java.lang.String

toDot() Format the node in the dot format.

Methods inherited from class sandmark.util.graph.Node

clone, color, equals, fontsize, hashCode, main, name, nodeNumber, setNodeNumber, shape, style, toDot, toString

Methods inherited from class java.lang.Object

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

Field Detail

data

java.lang.String data

Constructor Detail

Dot.MyNode

public Dot.MyNode(java.lang.String data)

Method Detail

toDot

public java.lang.String toDot()

Description copied from class: Node

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

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

Overrides:

toDot in class Node