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