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

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