Package org.apache.groovy.contracts.annotations.meta

Annotation Type Precondition

@Retention(RUNTIME)
@Documented
@ContractElement
public @interface Precondition

Indicates that annotations being marked as @Precondition are to be treated as pre-condition modifying annotations.