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:
  - `Invariant`

- ## 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