Index Zurück Fenster schliessen |
entry_body
entry_body ::= entry defining_identifier
entry_body_formal_part entry_barrier
is declarative_part begin handled_sequence_of_statements end [entry_identifier]; siehe LRM 9.5.2 wird genutzt von: protected_operation_item |