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