Справочник по Ada 95
Раздел 11: Исключения
Этот раздел определяет средства обработки ошибок или других исключительных ситуаций, возникающих во время выполнения программы. Исключение представляет собой вид исключительной ситуации; возникновение такой ситуации (во время выполнения) называется возникновением исключения. Вызвать исключение означает прервать нормальное выполнение программы, чтобы привлечь внимание к тому, что соответствующая ситуация возникла. Выполнение некоторых действий в ответ на возникновение исключения называется обработкой исключения.
Определение_исключения объявляет имя исключения. Исключение вызывается первоначально либо с помощью оператор_вызова, либо из-за неудачи проверки, определенной языком. Когда возникает исключение, управление может быть передано пользователю обработчик_исключений в конце обрабатываемой_последовательности_операторов, или оно может быть передано динамически окружающему выполнению.