separate (Compilation_Unit.Produce_Metrics)
procedure Type_Definition
             (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) is

    --===============================================================
    -- Type_Definition ::=
    --     Enumeration_Type_Definition -> "("
    --   | Real_Type_Definition        -> "DIGITS", "DELTA"
    --   | Record_Type_Definition      -> "RECORD"
    --   | Derived_Type_Definition     -> "NEW"
    --   | Integer_Type_Definition     -> "RANGE"
    --   | Array_Type_Definition       -> "ARRAY"
    --   | Access_Type_Definition      -> "ACCESS"
    --   | Private_Type_Definition     -> "LIMITED", "PRIVATE"
    --===============================================================

begin
    -- Type_Definition

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

        when Token_Package.Left_Parenthesis_Token =>

            Enumeration_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Digits_Token | Token_Package.Delta_Token =>

            Real_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Record_Token =>

            Record_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.New_Token =>

            Derived_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Range_Token =>

            Integer_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Array_Token =>

            Array_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Access_Token =>

            Access_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when Token_Package.Limited_Token | Token_Package.Private_Token =>

            Private_Type_Definition
               (Current_Compilation_Unit => Current_Compilation_Unit,
                Program_Unit => Program_Unit,
                Halstead => Halstead,
                Loc => Loc,
                Mccabe => Mccabe);

        when others =>
            raise Syntax_Error;

    end case;

end Type_Definition;