Package groovy.contracts
Annotation Interface RequiresConditions
@Documented
@Retention(RUNTIME)
@Target({CONSTRUCTOR,METHOD})
@Incubating
public @interface RequiresConditions
Represents multiple preconditions.
-
Required Element Summary
Required Elements
-
Element Details
-
value
Requires[] value
-