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);
