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

Annotation Type ClassInvariant

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

Indicates that annotations being marked as @ClassInvariant are to be treated as class invariant modifying annotations.