public class JSONShapeVisitor extends DebugShapeVisitor<JSONHelper.JSONObjectBuilder>
| Constructor and Description |
|---|
JSONShapeVisitor() |
| Modifier and Type | Method and Description |
|---|---|
JSONHelper.JSONObjectBuilder |
dumpLocation(Location location) |
JSONHelper.JSONObjectBuilder |
dumpProperty(Property property) |
JSONHelper.JSONObjectBuilder |
dumpTransition(Transition transition) |
JSONHelper.JSONObjectBuilder |
visitShape(Shape shape,
java.util.Map<? extends Transition,? extends Shape> transitions) |
getId, visitShapepublic JSONHelper.JSONObjectBuilder visitShape(Shape shape, java.util.Map<? extends Transition,? extends Shape> transitions)
visitShape in class DebugShapeVisitor<JSONHelper.JSONObjectBuilder>public JSONHelper.JSONObjectBuilder dumpProperty(Property property)
public JSONHelper.JSONObjectBuilder dumpTransition(Transition transition)
public JSONHelper.JSONObjectBuilder dumpLocation(Location location)