Next: , Previous: 8.5.4, Up: 8.5


8.5.5 Generic Renaming Declarations

1
A generic_renaming_declaration is used to rename a generic unit.

Syntax

2

generic_renaming_declaration::=
    generic package   defining_program_unit_name renames generic_package_name;
  generic procedure   defining_program_unit_name renames generic_procedure_name;
  generic function   defining_program_unit_name renames generic_function_name;
Legality Rules

3
The renamed entity shall be a generic unit of the corresponding kind.

Static Semantics

4
A generic_renaming_declaration declares a new view of the renamed generic unit.

     NOTES

5

16  Although the properties of the new view are the same as those of the renamed view, the place where the generic_renaming_declaration occurs may affect the legality of subsequent renamings and instantiations that denote the generic_renaming_declaration, in particular if the renamed generic unit is a library unit (see 10.1.1).
Examples

6
Example of renaming a generic unit:

7

     generic package Enum_IO renames Ada.Text_IO.Enumeration_IO;  −− see A.10.10