Package groovy.contracts

# Annotation Interface Invariants

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

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