protected override void handle_result(TypeValue new_value) { MapControlCommandCommandTypeJSON result = new MapControlCommandCommandTypeJSON(); result.setValue(new_value); handle_result(result); }
private void fromJSONMapControlCommandType(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); MapControlCommandCommandTypeJSON convert_classy = MapControlCommandCommandTypeJSON.from_json(json_value, ignore_extras, true); setMapControlCommandType(convert_classy); }
public void setMapControlCommandType(MapControlCommandCommandTypeJSON new_value) { if (flagHasMapControlCommandType) { } flagHasMapControlCommandType = true; storeMapControlCommandType = new_value; }
protected override void handle_result(MapControlCommandCommandTypeJSON result) { top.value.Add(result); }
protected override void handle_result(MapControlCommandCommandTypeJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(MapControlCommandCommandTypeJSON new_result);