protected override void handle_result(TypeValue new_value) { FlightSeatTypeJSON result = new FlightSeatTypeJSON(); result.setValue(new_value); handle_result(result); }
private void fromJSONExcludes(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); JSONArrayValue json_array1 = json_value.array_value(); if (json_array1 == null) { throw new Exception("The value for field Excludes of FlightSeatPreferencesJSON is not an array."); } int count1 = json_array1.componentCount(); if (count1 < 1) { throw new Exception("The value for field Excludes of FlightSeatPreferencesJSON has too few elements."); } List <FlightSeatTypeJSON> vector_Excludes1 = new List <FlightSeatTypeJSON>(count1); for (int num1 = 0; num1 < count1; ++num1) { FlightSeatTypeJSON convert_classy = FlightSeatTypeJSON.from_json(json_array1.component(num1), ignore_extras, true); vector_Excludes1.Add(convert_classy); } Debug.Assert(vector_Excludes1.Count >= 1); initExcludes(); for (int num2 = 0; num2 < vector_Excludes1.Count; ++num2) { appendExcludes(vector_Excludes1[num2]); } for (int num1 = 0; num1 < vector_Excludes1.Count; ++num1) { } }
public void appendExcludes(FlightSeatTypeJSON to_append) { if (!flagHasExcludes) { flagHasExcludes = true; storeExcludes.Clear(); } Debug.Assert(flagHasExcludes); storeExcludes.Add(to_append); }
public void appendExcludes(string chars) { FlightSeatTypeJSON.TypeValueKnownValues known = FlightSeatTypeJSON.stringToValue(chars); FlightSeatTypeJSON.TypeValue new_value = new FlightSeatTypeJSON.TypeValue(); if (known == FlightSeatTypeJSON.TypeValueKnownValues.Value__none) { new_value.in_known_list = false; new_value.string_value = chars; } else { new_value.in_known_list = true; new_value.list_value = known; } appendExcludes(new_value); }
protected override void handle_result(FlightSeatTypeJSON result) { top.value.Add(result); }
protected override void handle_result(FlightSeatTypeJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(FlightSeatTypeJSON new_result);