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