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