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.
NOTES
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