private JSONValue extraBaseToJSON() { JSONValueHandler handler_Base = new JSONValueHandler(); storeBase.write_as_json(handler_Base); return(handler_Base.result); }
private JSONValue extraGeneralizedThingToJSON() { JSONValueHandler handler_GeneralizedThing = new JSONValueHandler(); storeGeneralizedThing.write_as_json(handler_GeneralizedThing); return(handler_GeneralizedThing.result); }