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