Справочник Ada 95

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, и определяет представление и сущность, обозначаемые этим именем (переименованное представление и переименованная сущность). name, обозначающий renaming_declaration, обозначает (новое представление) переименованной сущности.

ЗАМЕЧАНИЯ

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

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

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

subtype Mode is Ada.Text_IO.File_Mode;