public class GraphvizShapeVisitor extends DebugShapeVisitor<GraphvizShapeVisitor>
Constructor and Description |
---|
GraphvizShapeVisitor() |
Modifier and Type | Method and Description |
---|---|
java.lang.String |
toString() |
GraphvizShapeVisitor |
visitShape(Shape shape,
java.util.Map<? extends Transition,? extends Shape> transitions) |
getId, visitShape
public GraphvizShapeVisitor visitShape(Shape shape, java.util.Map<? extends Transition,? extends Shape> transitions)
visitShape
in class DebugShapeVisitor<GraphvizShapeVisitor>
public java.lang.String toString()
toString
in class java.lang.Object