Справочник по Ada (Ada 2022)
8.5.5 Общие переименования
Объявление generic_renaming_declaration используется для переименования общего блока.
Синтаксис
generic_renaming_declaration ::=
generic package имя_программного_блока renames generic_package_имя
[описание_аспекта];
| generic procedure имя_программного_блока renames generic_procedure_имя
[описание_аспекта];
| generic function имя_программного_блока renames generic_function_имя
[описание_аспекта];
generic package имя_программного_блока renames generic_package_имя
[описание_аспекта];
| generic procedure имя_программного_блока renames generic_procedure_имя
[описание_аспекта];
| generic function имя_программного_блока renames generic_function_имя
[описание_аспекта];
Правила легальности
Переименовываемый элемент должен быть общим блоком соответствующего типа.
Статическая семантика
Объявление generic_renaming_declaration объявляет новый вид переименованного общего блока.
ПРИМЕЧАНИЕ Хотя свойства нового вида такие же, как и переименованного вида, место, где находится объявление generic_renaming_declaration, может влиять на легальность последующих переименований и инстанциаций, обозначающих generic_renaming_declaration, особенно если переименованный общий блок является блоком библиотеки (см. 10.1.1).
Примеры
Пример переименования общего блока:
generic package Enum_IO renames Ada.Text_IO.Enumeration_IO; -- см. A.10.10
