Package groovy.contracts

# Annotation Interface EnsuresConditions

@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) @Incubating public @interface EnsuresConditions
Represents multiple postconditions.

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