DBC.PROMPRE

All "protected" methods should have the '@pre' contract

Description

This rule flags any "protected" method that does not have an `@pre' contract in its Javadoc.

Example

 package DBC;
 public class PROMPRE {
     /** @param   none
         @post    none
       */
     protected void method () {
         // do something.
     }
 }