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