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