Ada Reference Manual (Ada 2022) — Legal Information
Contents   Index   References   Search   Previous   Next 

8.5.5 Generic Renaming Declarations

1
A generic_renaming_declaration is used to rename a generic unit. 

Syntax

2/3
generic_renaming_declaration ::= 
    generic package defining_program_unit_name renames generic_package_name
        [aspect_specification];
  | generic procedure defining_program_unit_name renames generic_procedure_name
        [aspect_specification];
  | generic function defining_program_unit_name renames generic_function_name
        [aspect_specification];

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/5
NOTE   Although the properties of the new view are the same as those of the renamed view, the place where the generic_renaming_declaration occurs can 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   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe