Class |
Description |
AnnotationClosureVisitor
|
Visits interfaces & classes and looks for @Requires or @Ensures and creates Closure
classes for the annotation closures. |
AnnotationContractParameterVisitor
|
This BaseVisitor walks up the class hierarchy for the given ClassNode
and adds ContractElement annotations to method parameters. |
AnnotationProcessorVisitor
|
Visits annotations of meta-type ContractElement and applies the AST transformations of the underlying
AnnotationProcessor implementation. |
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
|
|
LifecycleAfterTransformationVisitor
|
|
LifecycleBeforeTransformationVisitor
|
|