Package groovy.contracts

# Annotation Interface EnsuresConditions

@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) public @interface EnsuresConditions
Container annotation for multiple `Ensures` postconditions on the same target. Synthesized by the compiler from stacked `@Ensures` annotations via `Repeatable`; not normally written by hand.

Since:
  5.0.0
See Also:
  - `Ensures`

- ## Required Element Summary

  Required Elements
  Modifier and Type
  Required Element
  Description
  `Ensures[]`
  `value`
  Returns the repeated postcondition annotations declared on the target element.

- ## Element Details

  - ### value

    Ensures[] value
    Returns the repeated postcondition annotations declared on the target element.
    Returns:
      the contained `Ensures` annotations