Package groovy.contracts

Annotation Interface RequiresConditions

@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) public @interface RequiresConditions
Container annotation for multiple Requires preconditions on the same target. Synthesized by the compiler from stacked @Requires 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
    Requires[]
    value
    Returns the repeated precondition annotations declared on the target element.

  • Element Details

    • value

      Requires[] value
      Returns the repeated precondition annotations declared on the target element.
      Returns:
      the contained Requires annotations