private void fromJSONAlreadyAskedUser(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 AlreadyAskedUser of FlightBookingModeJSON is not an array."); } int count1 = json_array1.componentCount(); List <FlightBookingLookupParameterJSON> vector_AlreadyAskedUser1 = new List <FlightBookingLookupParameterJSON>(count1); for (int num1 = 0; num1 < count1; ++num1) { FlightBookingLookupParameterJSON convert_classy = FlightBookingLookupParameterJSON.from_json(json_array1.component(num1), ignore_extras, true); vector_AlreadyAskedUser1.Add(convert_classy); } initAlreadyAskedUser(); for (int num1 = 0; num1 < vector_AlreadyAskedUser1.Count; ++num1) { appendAlreadyAskedUser(vector_AlreadyAskedUser1[num1]); } for (int num1 = 0; num1 < vector_AlreadyAskedUser1.Count; ++num1) { } }
private void fromJSONAskingUserFor(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); FlightBookingLookupParameterJSON convert_classy = FlightBookingLookupParameterJSON.from_json(json_value, ignore_extras, true); setAskingUserFor(convert_classy); }
protected override void handle_result(TypeValue new_value) { FlightBookingLookupParameterJSON result = new FlightBookingLookupParameterJSON(); result.setValue(new_value); handle_result(result); }
public void setAskingUserFor(FlightBookingLookupParameterJSON new_value) { if (flagHasAskingUserFor) { } flagHasAskingUserFor = true; storeAskingUserFor = new_value; }
public void appendAlreadyAskedUser(FlightBookingLookupParameterJSON to_append) { if (!flagHasAlreadyAskedUser) { flagHasAlreadyAskedUser = true; storeAlreadyAskedUser.Clear(); } Debug.Assert(flagHasAlreadyAskedUser); storeAlreadyAskedUser.Add(to_append); }
protected override void handle_result(FlightBookingLookupParameterJSON result) { top.value.Add(result); }
protected override void handle_result(FlightBookingLookupParameterJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(FlightBookingLookupParameterJSON new_result);