/** @since 0.8 or earlier */ @Override protected void appendTo(StringBuilder sb) { sb.append("{"); boolean comma = false; for (Map.Entry<String, Object> entry : contents.entrySet()) { if (comma) { sb.append(", "); } sb.append(quote(entry.getKey())); sb.append(": "); appendValue(sb, entry.getValue()); comma = true; } sb.append("}"); } }
@Override public JSONObjectBuilder visitShape(Shape shape, Map<? extends Transition, ? extends Shape> transitions) { JSONObjectBuilder sb = JSONHelper.object(); JSONArrayBuilder transitionarray = JSONHelper.array(); for (Entry<? extends Transition, ? extends Shape> entry : transitions.entrySet()) { transitionarray.add(JSONHelper.object().add("transition", dumpTransition(entry.getKey())).add("successor", getId(entry.getValue()))); } JSONArrayBuilder propertiesarray = JSONHelper.array(); for (Property p : shape.getPropertyList()) { propertiesarray.add(dumpProperty(p)); } sb.add("id", getId(shape)); sb.add("properties", propertiesarray); sb.add("transitions", transitionarray); sb.add("predecessor", shape.getParent() != null ? getId(shape.getParent()) : null); sb.add("valid", shape.isValid()); return sb; }
/** @since 0.8 or earlier */ @Override protected void appendTo(StringBuilder sb) { sb.append("{"); boolean comma = false; for (Map.Entry<String, Object> entry : contents.entrySet()) { if (comma) { sb.append(", "); } sb.append(quote(entry.getKey())); sb.append(": "); appendValue(sb, entry.getValue()); comma = true; } sb.append("}"); } }
@Override protected void appendTo(StringBuilder sb) { sb.append("{"); boolean comma = false; for (Map.Entry<String, Object> entry : contents.entrySet()) { if (comma) { sb.append(", "); } sb.append(quote(entry.getKey())); sb.append(": "); appendValue(sb, entry.getValue()); comma = true; } sb.append("}"); } }
public JSONObjectBuilder dumpLocation(Location location) { JSONObjectBuilder obj = JSONHelper.object(); obj.add("type", (location instanceof TypedLocation ? ((TypedLocation) location).getType() : Object.class).getName()); // if (location instanceof Locations.FieldLocation) { // obj.add("offset", ((Locations.FieldLocation) location).getOffset()); // } // if (location instanceof Locations.ArrayLocation) { // obj.add("index", ((Locations.ArrayLocation) location).getIndex()); // } if (location instanceof Locations.ValueLocation) { obj.add("value", String.valueOf(((Locations.ValueLocation) location).get(null, false))); } return obj; } }
public static JSONObjectBuilder object() { return new JSONObjectBuilder(); }
/** @since 0.8 or earlier */ public static JSONObjectBuilder object() { return new JSONObjectBuilder(); }
/** @since 0.8 or earlier */ public static JSONObjectBuilder object() { return new JSONObjectBuilder(); }