Справочник Ada 2005

8.5.3 Объявления переименования пакетов

Объявление package_renaming_declaration используется для переименования пакета.

Синтаксис

package_renaming_declaration ::= package defining_program_unit_name renames package_name;

Правила легальности

Переименовываемый элемент должен быть пакетом.

Если package_name объявления package_renaming_declaration обозначает ограниченное представление пакета P, то имя, обозначающее package_renaming_declaration, должно появляться только в непосредственной области видимости переименования или в области видимости with_clause, которая упоминает пакет P, или, если P является вложенным пакетом, в самой внутренней библиотечной области видимости, содержащей P.

Статическая семантика

Объявление package_renaming_declaration объявляет новое представление переименованного пакета.

В местах, где объявление ограниченного представления переименованного пакета является видимым, имя, обозначающее package_renaming_declaration, обозначает ограниченное представление пакета (см. 10.1.1).

Примеры

Пример переименования пакета:

package TM renames Table_Manager;