Справочник по Ada 2005
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 объявляет новый вид переименованного общего блока.
ПРИМЕЧАНИЯ
16 Хотя свойства нового вида такие же, как и переименованного вида, местоположение generic_renaming_declaration может повлиять на легальность последующих переименований и инстанцирования, которые обозначают generic_renaming_declaration, особенно если переименованный общий блок является библиотечным блоком (см. 10.1.1).
Примеры
Пример переименования общего блока:
generic package Enum_IO renames Ada.Text_IO.Enumeration_IO; -- см. A.10.10
