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.
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
Sponsored by Ada-Europe