All Classes and Interfaces

Class	Description
AnnotationClosureVisitor	Visits interfaces & classes and looks for @Requires or @Ensures and creates Closure classes for the annotation closures.
AnnotationContractParameterVisitor	This BaseVisitor walks up the class hierarchy for the given ClassNode and adds ContractElement annotations to method parameters.
AnnotationProcessor	Base class for modifying the internal domain model, starting at Contract, and adding parts to it.
AnnotationProcessorImplementation	Indicates what AnnotationProcessor implementation should be used to process the correlating annotation.
AnnotationProcessorVisitor	Visits annotations of meta-type ContractElement and applies the AST transformations of the underlying AnnotationProcessor implementation.
AnnotationUtils	Helper methods for reading/getting AnnotationNode instances.
Assertion<T extends Assertion>	Base class for all assertion types.
AssertionMap<T extends Assertion<T>>
AssertionViolation	Abstract base class for all assertion violations.
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.
ASTNodeMetaData	Holds all constants to be used as AST node metadata keys.
BaseASTTransformation	Base AST transformation encapsulating all common helper methods and implementing ASTTransformation.
BaseGenerator	Base class for groovy-contracts code generators.
BaseLifecycle	Base implementation class for interface Lifecycle.
BaseVisitor	Base class for ClassCodeVisitorSupport descendants.
CandidateChecks	Functions in this class are used to determine whether a certain AST node fulfills certain assertion requirements.
CircularAssertionCallException	Thrown whenever pre- or post-conditions are called in a cyclic way.
ClassInvariant	Indicates that annotations being marked as @ClassInvariant are to be treated as class invariant modifying annotations.
ClassInvariant	A class-invariant assertion.
ClassInvariantAnnotationProcessor	Internal AnnotationProcessor implementation for class-invariants.
ClassInvariantGenerator	Code generator for class invariants.
ClassInvariantLifecycle	Internal Lifecycle implementation for class-invariants.
ClassInvariantViolation	Thrown whenever a class invariant violation occurs.
ClosureExpressionEvaluationASTTransformation	Evaluates ClosureExpression instances in as actual annotation parameters and generates special contract closure classes from them.
ConfigurationSetup	Makes some initialization in order to use the Configurator for determining which assertions in what packages will be executed.
Configurator	Handles -ea and -da runtime input arguments for enabling and disabling contract elements.
Contract	Represents a contract between a supplier and a customer of a class.
ContractClosureWriter	Replaces annotation closures with closure implementation classes.
Contracted	Package-level and class-level annotation indicating that the package is enabled for class-invariants, pre- and post-conditions.
ContractElement	Indicates that annotations being marked as @ContractElement are to be used by some contract element being either a class-invariant, pre- or post-condition.
ContractElementVisitor	Checks whether the given ClassNode is relevant for further processing.
ContractExecutionTracker	Keeps track of contract executions to avoid cyclic contract checks.
ContractExecutionTracker.ContractExecution
DomainModelInjectionVisitor	Visits the given ClassNode and injects the current Contract into the given AST nodes.
DynamicSetterInjectionVisitor	Implements contract support for setter methods and default constructors of POGOs.
Ensures	Represents a method postcondition.
EnsuresAnnotationProcessor	Internal AnnotationProcessor implementation for post-conditions.
ExpressionUtils	Internal utility class for extracting a boolean expression from the given expression or statement.
FieldValues	This utility is meant to be used to replace direct calls to private field variables in class invariants.
GContractsASTTransformation	Custom AST transformation that removes closure annotations of Invariant, Requires and Ensures and adds Java assertions executing the closure-code.
Invariant	Represents a class-invariant.
Lifecycle	Specifies life-cycle hook-ins for applying AST transformation logic before and after the annotation processors have been run.
LifecycleAfterTransformationVisitor	AST transformation visitor which is triggered after applying AnnotationProcessor related transformations.
LifecycleBeforeTransformationVisitor	AST transformation visitor which is triggered before applying AnnotationProcessor related transformations.
LifecycleImplementationLoader<S>	Finds and loads implementation classes of interface Lifecycle.
OldVariableGenerationUtility	Central place where code generation for the old closure variable takes place.
Postcondition	Indicates that annotations being marked as @Postcondition are to be treated as post-condition modifying annotations.
Postcondition	A post-condition assertion.
PostconditionGenerator	Code generator for postconditions.
PostconditionLifecycle	Internal Lifecycle implementation for post-conditions.
PostconditionViolation	Thrown whenever a postcondition violation occurs.
Precondition	Indicates that annotations being marked as @Precondition are to be treated as pre-condition modifying annotations.
Precondition	A pre-condition assertion.
PreconditionGenerator	Code generator for preconditions.
PreconditionLifecycle	Internal Lifecycle implementation for pre-conditions.
PreconditionViolation	Thrown whenever a precondition violation occurs.
ProcessingContextInformation	Holds all context-specific information which is needed during the transformation phase of a single Contract and its related ClassNode.
Requires	Represents a method precondition.
RequiresAnnotationProcessor	Internal AnnotationProcessor implementation for pre-conditions.
TryCatchBlockGenerator	Creates a try-catch block around a given AssertStatement and catches a PowerAssertionError to reuse the generated visual output.
Validate	Internal utility class for in-code assertion checks.
ViolationTracker	A violation tracker is used to keep a list of pre-, post-condition or class-invariant violations in chronological order.