private void fromJSONRobotState(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); RobotStateJSON convert_classy = RobotStateJSON.from_json(json_value, ignore_extras, true); setRobotState(convert_classy); }
public void setRobotState(RobotStateJSON new_value) { if (flagHasRobotState) { } flagHasRobotState = true; storeRobotState = new_value; }
protected void finish(RobotStateJSON result) { if (fieldGeneratorCurrentAction.have_value) { result.setCurrentAction(fieldGeneratorCurrentAction.value); fieldGeneratorCurrentAction.have_value = false; } if (fieldGeneratorRecordingVideo.have_value) { result.setRecordingVideo(fieldGeneratorRecordingVideo.value); fieldGeneratorRecordingVideo.have_value = false; } if (fieldGeneratorKnownRooms.have_value) { result.setKnownRooms(fieldGeneratorKnownRooms.value); fieldGeneratorKnownRooms.have_value = false; } }
protected override void finish() { RobotStateJSON result = new RobotStateJSON(); 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.extraRobotStateAppendPair(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(RobotStateJSON result) { top.value.Add(result); }
protected override void handle_result(RobotStateJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(RobotStateJSON new_result);