protected override void finish()
{
if (!(getMapCommandJSONKey().Equals("ShowMap")))
{
throw new Exception("The key field has a value other than `ShowMap'.");
}
ShowMapJSON result = new ShowMapJSON();
Debug.Assert(result != null);
finish(result);
handle_result(result);
}
protected void finish(ShowMapJSON result)
{
if (fieldGeneratorNativeData.have_value)
{
result.setNativeData(fieldGeneratorNativeData.value);
fieldGeneratorNativeData.have_value = false;
}
else if ((!(result.hasNativeData())) && !allow_incomplete)
{
error("When parsing the object for %what%, the \"NativeData\" field was missing.");
}
base.finish(result);
}
protected override void handle_result(ShowMapJSON result)
{
top.value.Add(result);
}
protected override void handle_result(ShowMapJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(ShowMapJSON new_result);
