Index

  Zurück

  Fenster schliessen
choice_parameter_specification

choice_parameter_specification ::= defining_identifier

siehe LRM 11.2

wird genutzt von:

exception_handler