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