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

    --========================================================
    -- Subtype_Indication ::= Expanded_Name [ Constraint ]
    --========================================================

begin
    -- Subtype_Indication

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

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

        when Token_Package.Range_Token | Token_Package.Digits_Token |
             Token_Package.Delta_Token | Token_Package.Left_Parenthesis_Token =>

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

        when others =>
            null;

    end case;

end Subtype_Indication;