Package: groovy.contracts

## [Java] Annotation Type EnsuresConditions

- groovy.contracts.EnsuresConditions

-     @Documented
      @Retention(RetentionPolicy.RUNTIME)
      @Target({ElementType.CONSTRUCTOR, ElementType.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

- - ### Element Summary

    Required Element Summary
    Type | Name and Description
    --- | ---
    `Ensures[]` | `value` Returns the repeated postcondition annotations declared on the target element.

  - ### Inherited Methods Summary

    Inherited Methods
    Methods inherited from class | Name
    --- | ---
    `class Object` | `equals, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait`

- - ### Element Detail

    - #### public Ensures[] value

      Returns the repeated postcondition annotations declared on the target element.

      Returns:
        the contained Ensures annotations