private void fromJSONSeason(JSONValue json_value, bool ignore_extras) { Debug.Assert(json_value != null); SportsOlympicsSeasonJSON convert_classy = SportsOlympicsSeasonJSON.from_json(json_value, ignore_extras, true); setSeason(convert_classy); }
protected override void handle_result(TypeValue new_value) { SportsOlympicsSeasonJSON result = new SportsOlympicsSeasonJSON(); result.setValue(new_value); handle_result(result); }
public void setSeason(SportsOlympicsSeasonJSON new_value) { if (flagHasSeason) { } flagHasSeason = true; storeSeason = new_value; }
public void setSeason(string chars) { SportsOlympicsSeasonJSON.TypeValueKnownValues known = SportsOlympicsSeasonJSON.stringToValue(chars); SportsOlympicsSeasonJSON.TypeValue new_value = new SportsOlympicsSeasonJSON.TypeValue(); if (known == SportsOlympicsSeasonJSON.TypeValueKnownValues.Value__none) { new_value.in_known_list = false; new_value.string_value = chars; } else { new_value.in_known_list = true; new_value.list_value = known; } setSeason(new_value); }
protected override void handle_result(SportsOlympicsSeasonJSON result) { top.value.Add(result); }
protected override void handle_result(SportsOlympicsSeasonJSON result) { //@@@ Debug.Assert(!have_value); have_value = true; value = result; }
protected abstract void handle_result(SportsOlympicsSeasonJSON new_result);