protected override void handle_result(TypeValue new_value)
{
SportsSeasonTypeJSON result = new SportsSeasonTypeJSON();
result.setValue(new_value);
handle_result(result);
}
private void fromJSONType(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
SportsSeasonTypeJSON convert_classy = SportsSeasonTypeJSON.from_json(json_value, ignore_extras, true);
setType(convert_classy);
}
public void setType(SportsSeasonTypeJSON new_value)
{
if (flagHasType)
{
}
flagHasType = true;
storeType = new_value;
}
public void setType(string chars)
{
SportsSeasonTypeJSON.TypeValueKnownValues known = SportsSeasonTypeJSON.stringToValue(chars);
SportsSeasonTypeJSON.TypeValue new_value = new SportsSeasonTypeJSON.TypeValue();
if (known == SportsSeasonTypeJSON.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;
}
setType(new_value);
}
protected override void handle_result(SportsSeasonTypeJSON result)
{
top.value.Add(result);
}
protected override void handle_result(SportsSeasonTypeJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(SportsSeasonTypeJSON new_result);
