Package groovy.contracts

Annotation Type Invariants

@Retention(RUNTIME) @Target(TYPE) @Incubating public @interface Invariants
Represents multiple invariants

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Invariant[]
    value