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

    --===============================================================
    -- Renaming_Or_Range_Constraint #::=
    --     "RENAMES" Name
    --   | Range_Constraint [ ":=" Expression ]
    --===============================================================

    Current_Token : Token_Package.Token;
    Dummy_Name_Kind : Name_Kind; -- dont't care what kind of name
    -- returned by production NAME

begin
    -- Renaming_Or_Range_Constraint

    if Token_Package.Value_Of (Peek (From => Current_Compilation_Unit)) =
       Token_Package.Renames_Token then

        Get_Next_Token (Out_Token => Current_Token,
                        From => Current_Compilation_Unit,
                        Current_Loc => Loc);

        -- increment Halstead RENAMES operator count
        Halstead.Store_Operator ((Kind => Halstead_Operator.Renames_Halstead));

        Name (Current_Compilation_Unit => Current_Compilation_Unit,
              Program_Unit => Program_Unit,
              Halstead => Halstead,
              Loc => Loc,
              Mccabe => Mccabe,
              Out_Name_Kind => Dummy_Name_Kind);

    else

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

        if Token_Package.Value_Of (Peek (From => Current_Compilation_Unit)) =
           Token_Package.Assignment_Token then

            Get_Next_Token (Out_Token => Current_Token,
                            From => Current_Compilation_Unit,
                            Current_Loc => Loc);

            -- increment Halstead ASSIGNMENT operator count
            Halstead.Store_Operator
               ((Kind => Halstead_Operator.Assignment_Halstead));

            -- until ";" is found
            Expression (Current_Compilation_Unit => Current_Compilation_Unit,
                        Program_Unit => Program_Unit,
                        Halstead => Halstead,
                        Loc => Loc,
                        Mccabe => Mccabe,
                        Terminate_Tokens =>
                           Set_Of_Tokens'(1 => Token_Package.Semicolon_Token));

        end if;

    end if;

end Renaming_Or_Range_Constraint;