Ada 2012 Reference Manual

8.5.3 Package Renaming Declarations

A package_renaming_declaration is used to rename a package.

Syntax

package_renaming_declaration ::= package defining_program_unit_name renames package_name
[aspect_specification];

Legality Rules

The renamed entity shall be a package.

If the package_name of a package_renaming_declaration denotes a limited view of a package P, then a name that denotes the package_renaming_declaration shall occur only within the immediate scope of the renaming or the scope of a with_clause that mentions the package P or, if P is a nested package, the innermost library package enclosing P.

Static Semantics

A package_renaming_declaration declares a new view of the renamed package.

At places where the declaration of the limited view of the renamed package is visible, a name that denotes the package_renaming_declaration denotes a limited view of the package (see 10.1.1).

Examples

Example of renaming a package:

package TM renames Table_Manager;