Pragma Exceptional_Cases (GNAT Reference Manual)

Next: Pragma Exit_Cases, Previous: Pragma Enable_Atomic_Synchronization, Up: Implementation Defined Pragmas [Contents][Index]

2.58 Pragma Exceptional_Cases ¶

Syntax:

pragma Exceptional_Cases (EXCEPTIONAL_CASE_LIST);

EXCEPTIONAL_CASE_LIST ::= EXCEPTIONAL_CASE {, EXCEPTIONAL_CASE}
EXCEPTIONAL_CASE      ::= exception_choice {'|' exception_choice} => CONSEQUENCE
CONSEQUENCE           ::= Boolean_expression

For the semantics of this aspect, see the SPARK 2014 Reference Manual, section 6.1.9.