Index

  Zurück

  Fenster schliessen
task_body_stub

task_body_stub ::= task body defining_identifier is separate;

siehe LRM 10.1.3

wird genutzt von:

body_stub