Руководство по Ada (Ada 2022)
1.3.5 Исключительные ситуации
check
тест, выполняемый во время выполнения, для определения того, было ли нарушено правило языка
exception
вид исключительной ситуации
случай исключения
возникновение исключительной ситуации во время выполнения
обработать исключение
выполнить некоторые действия в ответ на возникновение исключения
вызвать исключение
прервать нормальное выполнение программы, чтобы привлечь внимание к тому, что соответствующая ситуация возникла
подавить проверку
утвердить, что проверка не может завершиться неудачей, и запросить, чтобы компилятор оптимизировал, отключив проверку
Примечание: компилятор не обязан выполнять этот запрос. Подавление проверок, которые могут завершиться неудачей, может привести к тому, что программа будет вести себя произвольным образом.
