protected override void finish()
        {
            if (!(getAlarmInformationNuggetJSONKey().Equals("AlarmQuit")))
            {
                throw new Exception("The key field has a value other than `AlarmQuit'.");
            }
            AlarmQuitInformationNuggetJSON result = new AlarmQuitInformationNuggetJSON();

            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.extraAlarmQuitInformationNuggetAppendPair(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);
        }