Package org.apache.groovy.contracts.annotations.meta
package org.apache.groovy.contracts.annotations.meta
-
Annotation TypesClassDescriptionIndicates what
AnnotationProcessorimplementation should be used to process the correlating annotation.Indicates that annotations being marked as@ClassInvariantare to be treated as class invariant modifying annotations.Indicates that annotations being marked as@ContractElementare to be used by some contract element being either a class-invariant, pre- or post-condition.Indicates that annotations being marked as@Postconditionare to be treated as post-condition modifying annotations.Indicates that annotations being marked as@Preconditionare to be treated as pre-condition modifying annotations.