Next: Pragma Partition_Elaboration_Policy, Previous: Pragma Overflow_Mode, Up: Implementation Defined Pragmas
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.