Index

  Zurück

  Fenster schliessen
terminate_alternative

terminate_alternative ::= terminate;

siehe LRM 9.7.1

wird genutzt von:

select_alternative