single_protected_declaration

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

[rule list] 
This rule is called by

-> object_declaration