Руководство по Ada (Ada 2022)

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

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

Синтаксис

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

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

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

Если имя 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;