Справочник по Ada 2012
8.5.2 Объявления переименования исключений
Объявление exception_renaming_declaration используется для переименования исключения.
Синтаксис
exception_renaming_declaration ::= defining_identifier : exception renames exception_name
[aspect_specification];
[aspect_specification];
Правила легальности
Переименовываемый объект должен быть исключением.
Статическая семантика
Объявление exception_renaming_declaration объявляет новый вид переименованного исключения.
Примеры
Пример переименования исключения:
EOF : exception renames Ada.IO_Exceptions.End_Error; -- см. A.13
