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

Annotation Type Postcondition

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

Indicates that annotations being marked as @Postcondition are to be treated as post-condition modifying annotations.