| Class | Description | 
|---|---|
| BaseASTTransformation | Base AST transformation encapsulating all common helper methods and implementing ASTTransformation. | 
| ClosureExpressionEvaluationASTTransformation | Evaluates ClosureExpression instances in as actual annotation parameters and generates special contract closure classes from them. | 
| GContractsASTTransformation |