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


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.