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