private void fromJSONKnownRooms(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); KnownRoomsJSON convert_classy = KnownRoomsJSON.from_json(json_value, ignore_extras, true); setKnownRooms(convert_classy); }
public void setKnownRooms(KnownRoomsJSON new_value) { if (flagHasKnownRooms) { } flagHasKnownRooms = true; storeKnownRooms = new_value; }
protected void finish() { Debug.Assert(have_value); KnownRoomsJSON result = new KnownRoomsJSON(); result.initValue(); int count = value.Count; for (int num = 0; num < count; ++num) { result.appendValue(value[num]); } handle_result(result); }
protected override void handle_result(KnownRoomsJSON result) { top.value.Add(result); }
protected override void handle_result(KnownRoomsJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(KnownRoomsJSON new_result);