Руководство по Ada (Ada 2022)
11 Исключения
Этот раздел описывает средства обработки ошибок или других исключительных ситуаций, возникающих во время выполнения программы. Исключение представляет собой тип исключительной ситуации; возникновение такой ситуации (во время выполнения) называется возникновением исключения. Вызвать исключение означает прервать нормальное выполнение программы, чтобы привлечь внимание к возникновению соответствующей ситуации. Выполнение некоторых действий в ответ на возникновение исключения называется обработкой исключения.
Объявление exception_declaration объявляет имя исключения. Исключение может быть вызвано явно (например, с помощью raise_statement) или неявно (например, в результате неудачи проверки, определённой языком). При возникновении исключения управление может быть передано предоставленному пользователем exception_handler в конце handled_sequence_of_statements, или оно может быть распространено на динамически окружающее выполнение.