Справочник по Ada (Ada 2022)

8.5 Переименование объявлений

Объявление renaming_declaration объявляет другое имя для сущности, такой как объект, исключение, пакет, подпрограмма, вход или обобщённый блок. В качестве альтернативы, subprogram_renaming_declaration может быть завершением предыдущего subprogram_declaration.

Синтаксис

renaming_declaration ::=
object_renaming_declaration
| exception_renaming_declaration
| package_renaming_declaration
| subprogram_renaming_declaration
| generic_renaming_declaration

Динамические семантика

Выполнение renaming_declaration оценивает name, который следует за служебным словом renames, и тем самым определяет представление и сущность, обозначенные этим именем (переименованное представление и переименованная сущность). Имя, обозначающее renaming_declaration, обозначает (новое представление) переименованной сущности.

ПРИМЕЧАНИЕ 1 Переименование может использоваться для разрешения конфликтов имён и для использования в качестве сокращения. Переименование с другим идентификатором или operator_symbol не скрывает старого имени; новое имя и старое имя могут быть видимы в разных местах.

Этот абзац был удалён.

ПРИМЕЧАНИЕ 2 Тип подтипа, определённый без дополнительных ограничений, может быть использован для достижения эффекта переименования другого подтипа (включая задачу или защищённый подтип), как в

subtype Mode is Ada.Text_IO.File_Mode;