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