Package randoop
Annotation Interface CheckRep
Write this annotation on a method to specify that that the method checks a representation
invariant. The annotated method may have boolean return type, or it may be void and throw an
exception if the representation invariant is violated. See the Randoop user manual for more
information.