Index   Zurück   Fenster schliessen	protected_definition protected_definition ::= { protected_operation_declaration }                                          [private                                              { protected_element_declaration } ]                                         end [protected_identifier] siehe LRM 9.4 wird genutzt von: protected_type_declaration single_protected_declaration