8.5.5 Generic Renaming Declarations
1
Syntax
2
Legality Rules
3
The renamed entity shall be a generic unit of the
corresponding kind.
Static Semantics
4
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
Extensions to Ada 83
7.a
{
extensions to Ada 83}
Renaming
of generic units is new to Ada 95. It is particularly important for renaming
child library units that are generic units. For example, it might be
used to rename Numerics.Generic_Elementary_Functions as simply Generic_Elementary_Functions,
to match the name for the corresponding Ada-83-based package.
Wording Changes from Ada 83
7.b
The information in RM83-8.6, “The Package
Standard,” has been updated for the child unit feature, and moved
to
Annex A, except for the definition of “predefined
type,” which has been moved to
3.2.1.
Sponsored by Ada-Europe