Package org.apache.groovy.contracts.annotations.meta
-
Annotation Types Summary Annotation Type Description AnnotationProcessorImplementation Indicates whatAnnotationProcessor
implementation should be used to process the correlating annotation.ClassInvariant Indicates that annotations being marked as@ClassInvariant
are to be treated as class invariant modifying annotations.ContractElement Indicates that annotations being marked as@ContractElement
are to be used by some contract element being either a class-invariant, pre- or post-condition.Postcondition Indicates that annotations being marked as@Postcondition
are to be treated as post-condition modifying annotations.Precondition Indicates that annotations being marked as@Precondition
are to be treated as pre-condition modifying annotations.