private void fromJSONWindowSelection(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); CarWindowSelectionJSON convert_classy = CarWindowSelectionJSON.from_json(json_value, ignore_extras, true); setWindowSelection(convert_classy); }
public void setWindowSelection(CarWindowSelectionJSON new_value) { if (flagHasWindowSelection) { } flagHasWindowSelection = true; storeWindowSelection = new_value; }
protected void finish() { Debug.Assert(have_value); CarWindowSelectionJSON result = new CarWindowSelectionJSON(); result.initValue(); int count = value.Count; for (int num = 0; num < count; ++num) { result.appendValue(value[num]); } handle_result(result); }
protected override void handle_result(CarWindowSelectionJSON result) { top.value.Add(result); }
protected override void handle_result(CarWindowSelectionJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(CarWindowSelectionJSON new_result);