# Package org.apache.groovy.contracts.generation

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