Annotation Type Contracted


@Target({PACKAGE,TYPE}) @Retention(RUNTIME) public @interface Contracted

Package-level and class-level annotation indicating that the package is enabled for class-invariants, pre- and post-conditions.

For example:

 @Contracted
 package my.package

 import groovy.contracts.*