com.didana.codecontract.annotation
Annotation Type Contract


@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.

Author:
Diana Berberova