Annotation Type Contract


@Documented @Target(TYPE) @Retention(CLASS) public @interface Contract
This annotation defines behavioral contract enforced at runtime by instances of annotated classes.