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

package org.apache.groovy.contracts.annotations.meta

Annotation Types

Class	Description
AnnotationProcessorImplementation	Indicates what AnnotationProcessor 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.