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