Index

  Zurück

  Fenster schliessen		 protected_body

protected_body ::= protected body defining_identifier is

                                    { protected_operation_item }

                                end [protected_identifier];

siehe LRM 9.4

wird genutzt von:

proper_body