Contents Index Search Previous Next
11.1 Exception Declarations
declares a name for an exception.
Each single exception_declaration
declares a name for a different exception. If a generic unit includes
an exception_declaration, the exception_declarations
implicitly generated by different instantiations of the generic unit
refer to distinct exceptions (but all have the same defining_identifier).
The particular exception denoted by an exception name is determined at
compilation time and is the same regardless of how many times the exception_declaration
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
The elaboration of an exception_declaration
has no effect.
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 of user-defined
Singular : exception;
Error : exception;
Overflow, Underflow : exception;
Contents Index Search Previous Next Legal