Package groovy.contracts

Annotation Interface Invariants

@Documented @Retention(RUNTIME) @Target(TYPE) public @interface Invariants
Container annotation for multiple Invariant declarations on the same type. Synthesized by the compiler from stacked @Invariant annotations via Repeatable; not normally written by hand.
Since:
5.0.0
See Also:

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Invariant[]
    value
    Returns the repeated invariant annotations declared on the annotated type.

  • Element Details

    • value

      Invariant[] value
      Returns the repeated invariant annotations declared on the annotated type.
      Returns:
      the contained Invariant annotations