Ada Reference Manual (Ada 2022)
1.3.5 Exceptional Situations
check
test made during execution to determine whether a language rule has been violated
exception
kind of exceptional situation
exception occurrence
run-time occurrence of an exceptional situation
handle an exception
perform some actions in response to the arising of an exception
raise an exception
abandon normal program execution so as to draw attention to the fact that the corresponding situation has arisen
suppress a check
assert that the check cannot fail, and request that the compiler optimize by disabling the check
Note: The compiler is not required to honor this request. Suppressing checks that can fail can cause a program to behave in arbitrary ways.
