Contents Index Search Previous Next
11.2 Exception Handlers
The response to one or more exceptions is specified
by an exception_handler.
A choice with an exception_name
the named exception. A choice with others
all exceptions not named by previous choices of the same handled_sequence_of_statements
Two choices in different exception_handler
of the same handled_sequence_of_statements
shall not cover the same exception.
A choice with others is allowed only for
the last handler of a handled_sequence_of_statements
and as the only choice of that handler.
of a choice shall not denote an exception declared in a generic formal
declares a choice parameter
, which is a constant object of type
Exception_Occurrence (see 11.4.1
the handling of an exception occurrence, the choice parameter, if any,
of the handler represents the exception occurrence that is being handled.
The execution of a handled_sequence_of_statements
consists of the execution of the sequence_of_statements
The optional handlers are used to handle any exceptions that are propagated
by the sequence_of_statement
Example of an
Open(File, In_File, "input.txt"); -- see A.8.2
when E : Name_Error =>
Put("Cannot open input file : ");
Put_Line(Exception_Message(E)); -- see 11.4.1
Contents Index Search Previous Next Legal