protected_definition

protected_definition ::= 
      { protected_operation_declaration } 
      [ "private" 
      { protected_element_declaration } ] 
      "end" [ protected_identifier ] 

[rule list]
This rule is called by

-> protected_type_declaration -> single_protected_declaration