3.11. Section 11: Exceptions

Exceptions may be declared and raised as described in the Ada 95 standard. However exception handlers can only handle exceptions raised locally. The propagation of exceptions is not supported.

The predefined exceptions Program_Error, Numeric_Error and Constraint_Error are raised under the conditions given in the Ada 95 Standard.

The predefined exception Storage_Error is raised by an explicit raise statement, or when entering a subprogram, or when allocating the stack space for a data object or task declaration. The additional code for these checks is generated by default.