Index   Zurück   Fenster schliessen	single_protected_declaration single_protected_declaration ::= protected defining_identifier is protected_definition; siehe LRM 9.4 wird genutzt von: object_declaration