| 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.
|