AnnotationClosureVisitor (Groovy 6.0.0-SNAPSHOT)

org.apache.groovy.contracts.ast.visitor.AnnotationClosureVisitor

All Implemented Interfaces and Traits:

ASTNodeMetaData
```
public class AnnotationClosureVisitor
extends BaseVisitor
implements ASTNodeMetaData
```
Visits interfaces & classes and looks for @Requires or @Ensures and creates Closure classes for the annotation closures.

The annotation closure classes are used later on to check interface contract pre- and post-conditions in implementation classes.
See Also:
Requires
Ensures
BaseVisitor

Field Summary

Fields
Modifiers	Name	Description
`static String`	`META_DATA_ORIGINAL_TRY_CATCH_BLOCK`
`static String`	`META_DATA_USE_EXECUTION_TRACKER`
`static String`	`OLD_REFERENCES_KEY`	Node metadata key for the set of field names referenced via `old.xxx` in postconditions.

Inherited fields
Fields inherited from class	Fields
`class BaseVisitor`	`GCONTRACTS_ENABLED_VAR, sourceUnit`

Constructor Summary

Constructors
Constructor and description
`AnnotationClosureVisitor(SourceUnit sourceUnit, ReaderSource source)`

Methods Summary

Methods
Type Params	Return Type	Name and description
	`public void`	`visitClass(ClassNode classNode)`
	`public void`	`visitConstructorOrMethod(MethodNode methodNode, boolean isConstructor)`

Inherited Methods Summary

Inherited Methods
Methods inherited from class	Name
`class BaseVisitor`	`asConditionExecution, getOriginalCondition, getReplacedCondition, getSourceUnit, replaceCondition`
`class ClassCodeVisitorSupport`	addError, getSourceUnit, visitAnnotation, visitAnnotations, visitAnnotations, visitAssertStatement, visitBlockStatement, visitBreakStatement, visitCaseStatement, visitCatchStatement, visitClass, visitClassCodeContainer, visitClosureExpression, visitConstructor, visitConstructorOrMethod, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitExpressionStatement, visitField, visitForLoop, visitIfElse, visitImports, visitMethod, visitObjectInitializerStatements, visitPackage, visitProperty, visitReturnStatement, visitStatement, visitStatementAnnotations, visitSwitch, visitSynchronizedStatement, visitThrowStatement, visitTryCatchFinally, visitWhileLoop
`class CodeVisitorSupport`	afterSwitchCaseStatementsVisited, afterSwitchConditionExpressionVisited, visitArgumentlistExpression, visitArrayExpression, visitAssertStatement, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBlockStatement, visitBooleanExpression, visitBreakStatement, visitBytecodeExpression, visitCaseStatement, visitCastExpression, visitCatchStatement, visitClassExpression, visitClosureExpression, visitClosureListExpression, visitConstantExpression, visitConstructorCallExpression, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitEmptyStatement, visitExpressionStatement, visitFieldExpression, visitForLoop, visitGStringExpression, visitIfElse, visitLambdaExpression, visitListExpression, visitMapEntryExpression, visitMapExpression, visitMethodCallExpression, visitMethodPointerExpression, visitMethodReferenceExpression, visitNotExpression, visitPostfixExpression, visitPrefixExpression, visitPropertyExpression, visitRangeExpression, visitReturnStatement, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitStaticMethodCallExpression, visitSwitch, visitSynchronizedStatement, visitTernaryExpression, visitThrowStatement, visitTryCatchFinally, visitTupleExpression, visitUnaryMinusExpression, visitUnaryPlusExpression, visitVariableExpression, visitWhileLoop

- Field Detail
  - public static final String META_DATA_ORIGINAL_TRY_CATCH_BLOCK
  - public static final String META_DATA_USE_EXECUTION_TRACKER
  - public static final String OLD_REFERENCES_KEY
    
    Node metadata key for the set of field names referenced via old.xxx in postconditions.
- Constructor Detail
  - public AnnotationClosureVisitor(SourceUnit sourceUnit, ReaderSource source)
- Method Detail
  - public void visitClass(ClassNode classNode)
  - public void visitConstructorOrMethod(MethodNode methodNode, boolean isConstructor)

Summary:
Field
Constructor
Method

| Detail:
Field
Constructor
Method

[Java] Class AnnotationClosureVisitor

Field Summary

Constructor Summary

Methods Summary

Inherited Methods Summary

Field Detail

public static final String META_DATA_ORIGINAL_TRY_CATCH_BLOCK

public static final String META_DATA_USE_EXECUTION_TRACKER

public static final String OLD_REFERENCES_KEY

Constructor Detail

public AnnotationClosureVisitor(SourceUnit sourceUnit, ReaderSource source)

Method Detail

public void visitClass(ClassNode classNode)

public void visitConstructorOrMethod(MethodNode methodNode, boolean isConstructor)