Contents Index Search Previous Next
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
15 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
Contents Index Search Previous Next Legal