private void fromJSONValuesSummary(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
TypeValuesSummaryJSON convert_classy = TypeValuesSummaryJSON.from_json(json_value, ignore_extras, true);
setValuesSummary(convert_classy);
}
public void setValuesSummary(TypeValuesSummaryJSON new_value)
{
if (flagHasValuesSummary)
{
}
flagHasValuesSummary = true;
storeValuesSummary = new_value;
}
protected override void finish()
{
TypeValuesSummaryJSON result = new TypeValuesSummaryJSON();
Debug.Assert(result != null);
finish(result);
handle_result(result);
}
protected void finish(TypeValuesSummaryJSON result)
{
if (fieldGeneratorNumHeads.have_value)
{
result.setNumHeads(fieldGeneratorNumHeads.value);
fieldGeneratorNumHeads.have_value = false;
}
else if ((!(result.hasNumHeads())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"NumHeads\" field was missing.");
}
if (fieldGeneratorNumTails.have_value)
{
result.setNumTails(fieldGeneratorNumTails.value);
fieldGeneratorNumTails.have_value = false;
}
else if ((!(result.hasNumTails())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"NumTails\" field was missing.");
}
}
protected override void handle_result(TypeValuesSummaryJSON result)
{
top.value.Add(result);
}
protected override void handle_result(TypeValuesSummaryJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(TypeValuesSummaryJSON new_result);
