Ada Reference Manual (Ada 2022 Draft 34) — Legal Information
Contents   Index   References   Search   Previous   Next 

1.3.5 Exceptional Situations

1/5
check
a test made during execution to determine whether a language rule has been violated
2/5
exception

a kind of exceptional situation
3/5
exception occurrence

a run-time occurrence of an exceptional situation
4/5
raise an exception

to abandon normal program execution so as to draw attention to the fact that the corresponding situation has arisen
5/5
suppress a check

to assert that the check cannot fail, and to request that the compiler optimize by disabling the check
6/5
Note: The compiler is not required to honor this request. Suppressing checks that can fail can cause a program to behave in arbitrary ways.
Contents   Index   References   Search   Previous   Next 
Ada-Europe Ada 2005 and 2012 Editions sponsored in part by Ada-Europe