private void fromJSONResults(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 Results of CompoundResultCommandJSON is not an array.");
}
int count1 = json_array1.componentCount();
if (count1 < 1)
{
throw new Exception("The value for field Results of CompoundResultCommandJSON has too few elements.");
}
List <ResultClauseJSON> vector_Results1 = new List <ResultClauseJSON>(count1);
for (int num1 = 0; num1 < count1; ++num1)
{
ResultClauseJSON convert_classy = ResultClauseJSON.from_json(json_array1.component(num1), ignore_extras, true);
vector_Results1.Add(convert_classy);
}
Debug.Assert(vector_Results1.Count >= 1);
initResults();
for (int num1 = 0; num1 < vector_Results1.Count; ++num1)
{
appendResults(vector_Results1[num1]);
}
for (int num1 = 0; num1 < vector_Results1.Count; ++num1)
{
}
}
public void appendResults(ResultClauseJSON to_append)
{
if (!flagHasResults)
{
flagHasResults = true;
storeResults.Clear();
}
Debug.Assert(flagHasResults);
storeResults.Add(to_append);
}