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