Package groovy.contracts
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.*