Справочное руководство по Ada 2012

8.5 Переименование деклараций

Декларация переименования объявляет другое имя для сущности, такой как объект, исключение, пакет, подпрограмма, вход или обобщённый блок. Альтернативно, декларация_переименования_подпрограммы может быть завершением предыдущей декларации_подпрограммы.

Синтаксис

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

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

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

ПРИМЕЧАНИЯ

9 Переименование может использоваться для разрешения конфликтов имён и для краткого обозначения. Переименование с другим идентификатором или операторным символом не скрывает старого имени; новое имя и старое имя не обязательно должны быть видимыми в одних и тех же местах.

10 Задача или защищённый объект, объявленные явной object_declaration, могут быть переименованы как объект. Однако отдельная задача или защищённый объект не могут быть переименованы, так как соответствующий тип является анонимным (что означает, что у него нет именованных подтипов). По аналогичным причинам объект анонимного массива или типа доступа не может быть переименован.

11 Подтип, определённый без дополнительных ограничений, может быть использован для достижения эффекта переименования другого подтипа (включая задачу или защищённый подтип), как в

subtype Режим is Ada.Text_IO.File_Mode;