- An exception_declaration declares a name for an exception.
exception_declaration ::= defining_identifier_list : 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 is elaborated.
- 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.
- The elaboration of an exception_declaration has no effect.
- 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 of user-defined exception declarations:
Singular : exception;
Error : exception;
Overflow, Underflow : exception;
-- Email comments, additions, corrections, gripes, kudos, etc. to:
Magnus Kempe -- Magnus.Kempe@di.epfl.ch
Page last generated: 95-03-12