EnsuresConditions (Groovy 5.0.0-SNAPSHOT)

@Retention(RetentionPolicy.RUNTIME)
@Target({ElementType.CONSTRUCTOR, ElementType.METHOD})
@Incubating
public @interface EnsuresConditions

Represents multiple postconditions.

Required Element Summary
Type	Name and Description
`Ensures[]`	`value`

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

[Java] Annotation Type EnsuresConditions