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