Pragma Overriding_Renamings - GNAT Reference Manual

Next: Pragma Partition_Elaboration_Policy, Previous: Pragma Overflow_Mode, Up: Implementation Defined Pragmas

2.117 Pragma Overriding_Renamings

Syntax:

    pragma Overriding_Renamings;

This is a GNAT configuration pragma to simplify porting legacy code accepted by the Rational Ada compiler. In the presence of this pragma, a renaming declaration that renames an inherited operation declared in the same scope is legal if selected notation is used as in:

    pragma Overriding_Renamings;
    ...
    package R is
      function F (..);
      ...
      function F (..) renames R.F;
    end R;

even though RM 8.3 (15) stipulates that an overridden operation is not visible within the declaration of the overriding operation.