separate (Compilation_Unit.Produce_Metrics)
procedure Subprogram_Generic_Parameter
             (Current_Compilation_Unit : in out Ada_Compilation_Unit;
              Program_Unit : in Program_Unit_State_Machine;
              Halstead : in Halstead_State_Machine;
              Loc : in Loc_State_Machine;
              Mccabe : in Mccabe_State_Machine;
              Subprogram_Kind : out Program_Unit_Kind) is

    --===========================================
    -- Subprogram_Generic_Parameter ::=
    --     Procedure_Specification
    --   | Function_Specification
    --===========================================

    Dummy_Name : Program_Unit_Name;
    Dummy_Count : Natural;

begin
    -- Subprogram_Generic_Parameter

    case Token_Package.Value_Of (Peek (From => Current_Compilation_Unit)) is

        when Token_Package.Procedure_Token =>

            Procedure_Specification
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe,
                Unit_Name => Dummy_Name,
                Formal_Parameters_Count => Dummy_Count);

            Subprogram_Kind := Program_Unit_Kind'(Procedure_Specification);

        when Token_Package.Function_Token =>

            Function_Specification
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe,
                Unit_Name => Dummy_Name,
                Formal_Parameters_Count => Dummy_Count);

            Subprogram_Kind := Program_Unit_Kind'(Function_Specification);

        when others =>
            raise Syntax_Error;

    end case;

end Subprogram_Generic_Parameter;