private void fromJSONRightEndpoint(JSONValue json_value, bool ignore_extras)
{
Debug.Assert(json_value != null);
IntegerEndpointJSON convert_classy = IntegerEndpointJSON.from_json(json_value, ignore_extras, true);
setRightEndpoint(convert_classy);
}
public void setLeftEndpoint(IntegerEndpointJSON new_value)
{
if (flagHasLeftEndpoint)
{
}
flagHasLeftEndpoint = true;
storeLeftEndpoint = new_value;
}
public void setRightEndpoint(IntegerEndpointJSON new_value)
{
if (flagHasRightEndpoint)
{
}
flagHasRightEndpoint = true;
storeRightEndpoint = new_value;
}
protected override void finish()
{
IntegerEndpointJSON result = new IntegerEndpointJSON();
Debug.Assert(result != null);
finish(result);
int extra_count = unknownFieldGenerator.field_names.Count;
Debug.Assert(extra_count == unknownFieldGenerator.field_values.Count);
for (int extra_num = 0; extra_num < extra_count; ++extra_num)
{
result.extraIntegerEndpointAppendPair(unknownFieldGenerator.field_names[extra_num], unknownFieldGenerator.field_values[extra_num]);
}
unknownFieldGenerator.field_names.Clear();
unknownFieldGenerator.field_values.Clear();
unknownFieldGenerator.index = new Dictionary <string, JSONValue>();
handle_result(result);
}
protected void finish(IntegerEndpointJSON result)
{
if (fieldGeneratorValue.have_value)
{
result.setValue(fieldGeneratorValue.value);
fieldGeneratorValue.have_value = false;
}
else if ((!(result.hasValue())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"Value\" field was missing.");
}
if (fieldGeneratorInclusive.have_value)
{
result.setInclusive(fieldGeneratorInclusive.value);
fieldGeneratorInclusive.have_value = false;
}
else if ((!(result.hasInclusive())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"Inclusive\" field was missing.");
}
}
protected override void handle_result(IntegerEndpointJSON result)
{
top.value.Add(result);
}
protected override void handle_result(IntegerEndpointJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(IntegerEndpointJSON new_result);
