| Class | Description | 
|---|---|
| AssertStatementCreationUtility | Central place to create AssertStatement instances in groovy-contracts. | 
| AssertStatementCreationUtility.AddAssertionCallStatementToReturnStatementVisitor | Replaces a given ReturnStatement with the appropriate assertion call statement and returns a result variable expression. | 
| AssertStatementCreationUtility.AddResultReturnStatementVisitor | Replaces a given ReturnStatement with the appropriate assertion call statement and returns a result variable expression. | 
| AssertStatementCreationUtility.ReturnStatementVisitor | Collects all ReturnStatement instances from a given code block. | 
| BaseGenerator | Base class for groovy-contracts code generators. | 
| CandidateChecks | |
| ClassInvariantGenerator | |
| Configurator | |
| ContractExecutionTracker | Keeps track of contract executions to avoid cyclic contract checks. | 
| ContractExecutionTracker.ContractExecution | |
| OldVariableGenerationUtility | |
| PostconditionGenerator | |
| PreconditionGenerator | Code generator for preconditions. | 
| TryCatchBlockGenerator | Creates a try-catch block around a given AssertStatement and catches a PowerAssertionError to reuse the generated visual output. |