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