DBC.PROMPOST

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

Description

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

Example

 package DBC;
 protected class PROMPOST {
     /**
          @pre length > 0
       */
     protected void method (int length) {
         array = new [length];
         // do something.
     }
     private int[] array;
 }

Repair

Provide the `@post' contract in "protected" methods.