private void fromJSONDefaultForOthers(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
IncludeExcludeStateJSON convert_classy = IncludeExcludeStateJSON.from_json(json_value, ignore_extras, true);
setDefaultForOthers(convert_classy);
}
protected override void handle_result(TypeValue new_value)
{
IncludeExcludeStateJSON result = new IncludeExcludeStateJSON();
result.setValue(new_value);
handle_result(result);
}
public void setDefaultForOthers(IncludeExcludeStateJSON new_value)
{
if (flagHasDefaultForOthers)
{
}
flagHasDefaultForOthers = true;
storeDefaultForOthers = new_value;
}
protected override void handle_result(IncludeExcludeStateJSON result)
{
top.value.Add(result);
}
protected override void handle_result(IncludeExcludeStateJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(IncludeExcludeStateJSON new_result);
