protected_element_declaration

protected_element_declaration ::= 
      protected_operation_declaration 
      | component_declaration 

[rule list]
This rule is called by

-> protected_definition