@Documented
@Target({ElementType.PACKAGE, ElementType.TYPE})
@Retention(RetentionPolicy.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.*