Package org.apache.groovy.contracts.ast

package org.apache.groovy.contracts.ast

Related Packages

Package	Description
org.apache.groovy.contracts
org.apache.groovy.contracts.ast.visitor
org.apache.groovy.contracts.domain
org.apache.groovy.contracts.generation
org.apache.groovy.contracts.util

Classes

Class	Description
BaseASTTransformation	Base AST transformation encapsulating all common helper methods and implementing ASTTransformation.
ClosureExpressionEvaluationASTTransformation	Evaluates ClosureExpression instances in annotation parameters and generates special contract closure classes from them.
GContractsASTTransformation	Custom AST transformation that removes closure annotations of Invariant, Requires and Ensures and adds Java assertions executing the closure-code.
LoopInvariantASTTransformation	Handles Invariant annotations placed on loop statements (for, while, do-while).
LoopVariantASTTransformation	Handles Decreases annotations placed on loop statements (for, while, do-while).
ModifiesASTTransformation	Handles Modifies annotations placed on methods.
ModifiesEnsuresValidationTransformation	Validates that @Ensures postconditions on a method only reference fields via old.xxx that are declared as modifiable by @Modifies.