Index
Zurück
Fenster schliessen
exception_choice
exception_choice ::= exception
name
| others
siehe LRM 11.2
wird genutzt von:
exception_handler