Руководство по Ada (Ada 2022)
8.5.2 Объявления переименования исключений
Объявление переименования_исключения используется для переименования исключения.
Синтаксис
переименования_исключения ::=
идентификатор_определения : исключение переименовывает исключение_имя
[спецификация_аспекта];
идентификатор_определения : исключение переименовывает исключение_имя
[спецификация_аспекта];
Правила легальности
Переименовываемый элемент должен быть исключением.
Статическая семантика
Объявление переименования_исключения объявляет новый вид переименованного исключения.
Примеры
Пример переименования исключения:
EOF : исключение переименовывает Ada.IO_Exceptions.End_Error; -- см. A.13
