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