- Extensions to Ada 83
- 12.a
- The syntax rule for exception_handler is modified to allow a choice_parameter_specification.
- 12.b
- Different
choices of the same exception_handler may cover the same exception. This allows for "when Numeric_Error | Constraint_Error =>" even though Numeric_Error is a rename of Constraint_Error. This also allows one to "with" two different I/O packages, and then write, for example, "when Ada.Text_IO.Data_Error | My_Seq_IO.Data_Error =>" even though these might both be renames of the same exception.
- Wording Changes From Ada 83
- 12.c
- The syntax rule for handled_sequence_of_statements is new. These are now used in all the places where handlers are allowed. This obviates the need to explain (in Sections 5, 6, 7, and 9) what portions of the program are handled by the handlers. Note that there are more such cases in Ada 9X.
- 12.d
- The syntax rule for choice_parameter_specification is new.