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