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

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

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

Синтаксис

package_renaming_declaration ::= package имя_программного_блока renames package_имя
[описание_аспекта];

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

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

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

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

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

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

Примеры

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

package TM renames Table_Manager;