randoop

Annotation Type CheckRep

@Retention(value=RUNTIME)
 @Target(value=METHOD)
public @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.