Index
Zurück
Fenster schliessen
choice_parameter_specification
choice_parameter_specification ::=
defining_identifier
siehe LRM 11.2
wird genutzt von:
exception_handler