Index Zurück Fenster schliessen |
exception_handler
exception_handler ::= when [choice_parameter_specification:]
exception_choice {| exception_choice}
=> sequence_of_statements siehe LRM 11.2 wird genutzt von: handled_sequence_of_statements |