AnnotationClosureVisitor |
Visits interfaces & classes and looks for @Requires or @Ensures and creates Closure
classes for the annotation closures.
|
AnnotationContractParameterVisitor |
|
AnnotationProcessorVisitor |
|
BaseVisitor |
|
ConfigurationSetup |
Makes some initialization in order to use the Configurator for determining
which assertions in what packages will be executed.
|
ContractElementVisitor |
Checks whether the given ClassNode is relevant for
further processing.
|
DomainModelInjectionVisitor |
Visits the given ClassNode and injects the current Contract into the given AST
nodes.
|
DynamicSetterInjectionVisitor |
Implements contract support for setter methods and default constructors of POGOs.
|
LifecycleAfterTransformationVisitor |
AST transformation visitor which is triggered after applying AnnotationProcessor
related transformations.
|
LifecycleBeforeTransformationVisitor |
AST transformation visitor which is triggered before applying AnnotationProcessor
related transformations.
|