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