protected override void finish()
        {
            if (!(keyGenerator.have_value))
            {
                throw new Exception("The `Kind' field is missing.");
            }
            BuildingNumberJSON 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.extraBuildingNumberAppendPair(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 void finish(BuildingNumberJSON result)
 {
     if (fieldGeneratorSpoken.have_value)
     {
         result.setSpoken(fieldGeneratorSpoken.value);
         fieldGeneratorSpoken.have_value = false;
     }
     else if ((!(result.hasSpoken())) && (!allow_unpolished) && !allow_incomplete)
     {
         error("When parsing the object for %what%, the \"Spoken\" field was missing.");
     }
     if (fieldGeneratorWritten.have_value)
     {
         result.setWritten(fieldGeneratorWritten.value);
         fieldGeneratorWritten.have_value = false;
     }
     else if ((!(result.hasWritten())) && (!allow_unpolished) && !allow_incomplete)
     {
         error("When parsing the object for %what%, the \"Written\" field was missing.");
     }
 }
 protected override void handle_result(BuildingNumberJSON new_result)
 {
     handle_result((FiniteIntegerDashFiniteIntegerBuildingNumberJSON )new_result);
 }
 protected override void handle_result(BuildingNumberJSON result)
 {
     top.value.Add(result);
 }
        protected override void handle_result(BuildingNumberJSON result)
        {
//@@@            Debug.Assert(!have_value);
            have_value = true;
            value      = result;
        }
 protected abstract void handle_result(BuildingNumberJSON new_result);
 protected override void handle_result(BuildingNumberJSON new_result)
 {
     handle_result((FiniteIntegerPlusFractionBuildingNumberJSON )new_result);
 }