11.1 Exception Declarations
Syntax
Static Semantics
The
predefined exceptions are the ones declared in the declaration
of package Standard: Constraint_Error, Program_Error, Storage_Error,
and Tasking_Error; one of them is raised when a language-defined check
fails.
Dynamic Semantics
The
execution of any construct raises Storage_Error if there is insufficient
storage for that execution.
The amount of storage
needed for the execution of constructs is unspecified.
Examples
Examples of user-defined
exception declarations:
Singular : exception;
Error : exception;
Overflow, Underflow : exception;