Package groovy.contracts

Annotation Type RequiresConditions

@Retention(RUNTIME) @Target({CONSTRUCTOR,METHOD}) @Incubating public @interface RequiresConditions
Represents multiple preconditions.

  • Required Element Summary

    Required Elements
    Modifier and Type
    Required Element
    Description
    Requires[]
    value
     

  • Element Details