| | | |
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

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

| | | |
TOC -- / --.-- / --.--.-- | Index | Search | Syntax | Help

-- Email comments, additions, corrections, gripes, kudos, etc. to: