|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |
@Documented @Inherited @Retention(value=RUNTIME) @Target(value={TYPE,ANNOTATION_TYPE}) public @interface Contract
An annotation that supports Design by Contract tests. Classes that define tests must be annotated with @Contract. The tests are specified using the @Pre, @Post, and @Invar annotations for "precondition", "postcondition", and "invariant" tests, respectively.
|
||||||||||
PREV CLASS NEXT CLASS | FRAMES NO FRAMES | |||||||||
SUMMARY: REQUIRED | OPTIONAL | DETAIL: ELEMENT |