private void fromJSONValue(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 Value of CarWindowSelectionJSON is not an array.");
}
int count1 = json_array1.componentCount();
if (count1 < 1)
{
throw new Exception("The value for field Value of CarWindowSelectionJSON has too few elements.");
}
List <CarWindowSelectionEnumJSON> vector_Value1 = new List <CarWindowSelectionEnumJSON>(count1);
for (int num1 = 0; num1 < count1; ++num1)
{
CarWindowSelectionEnumJSON convert_classy = CarWindowSelectionEnumJSON.from_json(json_array1.component(num1), ignore_extras, true);
vector_Value1.Add(convert_classy);
}
Debug.Assert(vector_Value1.Count >= 1);
initValue();
for (int num1 = 0; num1 < vector_Value1.Count; ++num1)
{
appendValue(vector_Value1[num1]);
}
for (int num1 = 0; num1 < vector_Value1.Count; ++num1)
{
}
}
protected override void handle_result(TypeValue new_value)
{
CarWindowSelectionEnumJSON result = new CarWindowSelectionEnumJSON();
result.setValue(new_value);
handle_result(result);
}
public void appendValue(CarWindowSelectionEnumJSON to_append)
{
if (!flagHasValue)
{
flagHasValue = true;
storeValue.Clear();
}
Debug.Assert(flagHasValue);
storeValue.Add(to_append);
}
protected override void handle_result(CarWindowSelectionEnumJSON result)
{
top.value.Add(result);
}
protected override void handle_result(CarWindowSelectionEnumJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(CarWindowSelectionEnumJSON new_result);
