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