public static MapLocationWithDescriptionJSON from_MapLocationJSON_json(MapLocationJSON ancestor, bool ignore_extras) { Debug.Assert(ancestor != null); MapLocationWithDescriptionJSON result; { HoldingGenerator handler = new HoldingGenerator("Type MapLocationWithDescription", ignore_extras); ancestor.write_as_json(handler); result = handler.value; } return(result); }
public virtual void write_fields_as_json(JSONHandler handler, bool partial_allowed) { handler.pair("LocationType", getLocationType()); Debug.Assert(partial_allowed || flagHasLocation); if (flagHasLocation) { handler.start_pair("Location"); if (partial_allowed) { storeLocation.write_partial_as_json(handler); } else { storeLocation.write_as_json(handler); } } }