protected override void finish()
{
if (!(keyGenerator.have_value))
throw new Exception("The `AlarmCommandKind' field is missing.");
if (!(getCommandResultJSONKey().Equals("AlarmCommand")))
throw new Exception("The key field has a value other than `AlarmCommand'.");
AlarmCommandJSON result = createForKey(keyGenerator.value, unknownFieldGenerator.index);
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.extraAlarmCommandAppendPair(unknownFieldGenerator.field_names[extra_num], unknownFieldGenerator.field_values[extra_num]);
}
unknownFieldGenerator.field_names.Clear();
unknownFieldGenerator.field_values.Clear();
unknownFieldGenerator.index = new Dictionary<string, JSONValue >();
if (!allow_incomplete)
{
string missing_field_error = result.missing_field_error(allow_unpolished);
if (missing_field_error != null)
error(missing_field_error);
}
handle_result(result);
}
protected override void handle_result(AlarmCommandJSON result)
{
top.value.Add(result);
}
protected override void handle_result(AlarmCommandJSON result)
{
//@@@ Debug.Assert(!have_value);
have_value = true;
value = result;
}
protected abstract void handle_result(AlarmCommandJSON new_result);
protected void finish(AlarmCommandJSON result)
{
base.finish(result);
}
protected override void handle_result(AlarmCommandJSON new_result)
{
handle_result((AlarmNotUnderstoodCommandJSON )new_result);
}
protected override void handle_result(AlarmCommandJSON new_result)
{
handle_result((AlarmDisplayCommandJSON )new_result);
}
