# Package org.apache.groovy.contracts.generation

package org.apache.groovy.contracts.generation

- Related Packages
  Package
  Description
  org.apache.groovy.contracts
  org.apache.groovy.contracts.ast
  org.apache.groovy.contracts.domain
  org.apache.groovy.contracts.util
- Classes
  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
  Functions in this class are used to determine whether a certain AST node fulfills certain assertion requirements.
  ClassInvariantGenerator
  Code generator for class invariants.
  Configurator
  Handles `-ea` and `-da` runtime input arguments for enabling and disabling contract elements.
  ContractExecutionTracker
  Keeps track of contract executions to avoid cyclic contract checks.
  ContractExecutionTracker.ContractExecution
  OldVariableGenerationUtility
  Central place where code generation for the `old` closure variable takes place.
  PostconditionGenerator
  Code generator for postconditions.
  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.