Class Hierarchy
- java.lang.Object
- org.apache.groovy.contracts.generation.AssertStatementCreationUtility
- org.apache.groovy.contracts.generation.BaseGenerator
- org.apache.groovy.contracts.generation.ClassInvariantGenerator
- org.apache.groovy.contracts.generation.PostconditionGenerator
- org.apache.groovy.contracts.generation.PreconditionGenerator
- org.apache.groovy.contracts.generation.CandidateChecks
- org.codehaus.groovy.ast.CodeVisitorSupport (implements org.codehaus.groovy.ast.GroovyCodeVisitor)
- org.codehaus.groovy.ast.ClassCodeVisitorSupport (implements org.codehaus.groovy.transform.ErrorCollecting, org.codehaus.groovy.ast.GroovyClassVisitor)
- org.apache.groovy.contracts.generation.AssertStatementCreationUtility.AddAssertionCallStatementToReturnStatementVisitor
- org.apache.groovy.contracts.generation.AssertStatementCreationUtility.AddResultReturnStatementVisitor
- org.apache.groovy.contracts.generation.AssertStatementCreationUtility.ReturnStatementVisitor
- org.codehaus.groovy.ast.ClassCodeVisitorSupport (implements org.codehaus.groovy.transform.ErrorCollecting, org.codehaus.groovy.ast.GroovyClassVisitor)
- org.apache.groovy.contracts.generation.Configurator
- org.apache.groovy.contracts.generation.ContractExecutionTracker
- org.apache.groovy.contracts.generation.ContractExecutionTracker.ContractExecution
- org.apache.groovy.contracts.generation.OldVariableGenerationUtility
- org.apache.groovy.contracts.generation.TryCatchBlockGenerator