single_protected_declaration

single_protected_declaration ::= 
      "protected" defining_identifier "is" protected_definition ";" 

[rule list]
This rule is called by

-> object_declaration