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, visitShapepublic 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