private void fromJSONShipCoordinate(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); BattleshipCoordinateJSON convert_classy = BattleshipCoordinateJSON.from_json(json_value, ignore_extras, true); setShipCoordinate(convert_classy); }
private void fromJSONCoordinates(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 Coordinates of BattleshipPlayerDataJSON is not an array."); } int count1 = json_array1.componentCount(); List <BattleshipCoordinateJSON> vector_Coordinates1 = new List <BattleshipCoordinateJSON>(count1); for (int num1 = 0; num1 < count1; ++num1) { BattleshipCoordinateJSON convert_classy = BattleshipCoordinateJSON.from_json(json_array1.component(num1), ignore_extras, true); vector_Coordinates1.Add(convert_classy); } initCoordinates(); for (int num1 = 0; num1 < vector_Coordinates1.Count; ++num1) { appendCoordinates(vector_Coordinates1[num1]); } for (int num1 = 0; num1 < vector_Coordinates1.Count; ++num1) { } }
protected void finish(BattleshipCoordinateJSON result) { if (fieldGeneratorYCoordinate.have_value) { result.setYCoordinate(fieldGeneratorYCoordinate.value); fieldGeneratorYCoordinate.have_value = false; } else if ((!(result.hasYCoordinate())) && !allow_incomplete) { error("When parsing the object for %what%, the \"YCoordinate\" field was missing."); } if (fieldGeneratorXCoordinate.have_value) { result.setXCoordinate((sbyte)(fieldGeneratorXCoordinate.value)); fieldGeneratorXCoordinate.have_value = false; } else if ((!(result.hasXCoordinate())) && !allow_incomplete) { error("When parsing the object for %what%, the \"XCoordinate\" field was missing."); } if (fieldGeneratorResult.have_value) { result.setResult(fieldGeneratorResult.value); fieldGeneratorResult.have_value = false; } }
public void setShipCoordinate(BattleshipCoordinateJSON new_value) { if (flagHasShipCoordinate) { } flagHasShipCoordinate = true; storeShipCoordinate = new_value; }
public void appendCoordinates(BattleshipCoordinateJSON to_append) { if (!flagHasCoordinates) { flagHasCoordinates = true; storeCoordinates.Clear(); } Debug.Assert(flagHasCoordinates); storeCoordinates.Add(to_append); }
protected override void finish() { BattleshipCoordinateJSON result = new BattleshipCoordinateJSON(); Debug.Assert(result != null); finish(result); int extra_count = unknownFieldGenerator.field_names.Count; Debug.Assert(extra_count == unknownFieldGenerator.field_values.Count); for (int extra_num = 0; extra_num < extra_count; ++extra_num) { result.extraBattleshipCoordinateAppendPair(unknownFieldGenerator.field_names[extra_num], unknownFieldGenerator.field_values[extra_num]); } unknownFieldGenerator.field_names.Clear(); unknownFieldGenerator.field_values.Clear(); unknownFieldGenerator.index = new Dictionary <string, JSONValue>(); handle_result(result); }
protected override void handle_result(BattleshipCoordinateJSON result) { top.value.Add(result); }
protected override void handle_result(BattleshipCoordinateJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(BattleshipCoordinateJSON new_result);