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, visitShape
public 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)