Package groovy.contracts

Annotation Interface ModifiesConditions

@Documented @Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) @Incubating public @interface ModifiesConditions
Container for multiple Modifies annotations on the same method.
Since:
6.0.0
See Also:

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Modifies[]
    value
    Returns the repeated frame-condition annotations declared on the target element.

  • Element Details

    • value

      Modifies[] value
      Returns the repeated frame-condition annotations declared on the target element.
      Returns:
      the contained Modifies annotations