Package org.codehaus.groovy.control

Class StaticVerifier

java.lang.Object

org.codehaus.groovy.ast.CodeVisitorSupport

org.codehaus.groovy.ast.ClassCodeVisitorSupport

org.codehaus.groovy.control.StaticVerifier

All Implemented Interfaces:

GroovyClassVisitor, GroovyCodeVisitor, ErrorCollecting

public class StaticVerifier
extends ClassCodeVisitorSupport

Checks for dynamic variables in static contexts.

Constructor Summary

Constructors

Constructor	Description
StaticVerifier()

Method Summary

Modifier and Type	Method	Description
protected SourceUnit	getSourceUnit()	Returns the source unit currently being verified.
void	visitClass(ClassNode node, SourceUnit unit)	Starts verification for the supplied class and source unit.
void	visitClosureExpression(ClosureExpression ce)	Tracks closure nesting while visiting closure expressions.
void	visitConstructorCallExpression(ConstructorCallExpression cce)	Tracks whether the visitor is inside a special constructor call.
void	visitConstructorOrMethod(MethodNode node, boolean isConstructor)	Tracks the current method or constructor while verifying static references.
void	visitVariableExpression(VariableExpression ve)	Reports dynamic variable access that is illegal in static contexts.

Methods inherited from class org.codehaus.groovy.ast.ClassCodeVisitorSupport

addError, visitAnnotation, visitAnnotations, visitAnnotations, visitAssertStatement, visitBlockStatement, visitBreakStatement, visitCaseStatement, visitCatchStatement, visitClass, visitClassCodeContainer, visitConstructor, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitExpressionStatement, visitField, visitForLoop, visitIfElse, visitImports, visitMethod, visitObjectInitializerStatements, visitPackage, visitProperty, visitReturnStatement, visitStatement, visitStatementAnnotations, visitSwitch, visitSynchronizedStatement, visitThrowStatement, visitTryCatchFinally, visitWhileLoop

Methods inherited from class org.codehaus.groovy.ast.CodeVisitorSupport

afterSwitchCaseStatementsVisited, afterSwitchConditionExpressionVisited, visitArgumentlistExpression, visitArrayExpression, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBooleanExpression, visitBytecodeExpression, visitCastExpression, visitClassExpression, visitClosureListExpression, visitConstantExpression, visitEmptyStatement, visitFieldExpression, visitGStringExpression, visitLambdaExpression, visitListExpression, visitMapEntryExpression, visitMapExpression, visitMethodCallExpression, visitMethodPointerExpression, visitMethodReferenceExpression, visitNotExpression, visitPostfixExpression, visitPrefixExpression, visitPropertyExpression, visitRangeExpression, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitStaticMethodCallExpression, visitTernaryExpression, visitTupleExpression, visitUnaryMinusExpression, visitUnaryPlusExpression

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Methods inherited from interface org.codehaus.groovy.ast.GroovyCodeVisitor

visit, visit, visitEmptyExpression, visitListOfExpressions

Constructor Details

StaticVerifier

public StaticVerifier()

Method Details

getSourceUnit

protected SourceUnit getSourceUnit()

Returns the source unit currently being verified.

Specified by:

getSourceUnit in class ClassCodeVisitorSupport

Returns:

the active source unit

visitClass

public void visitClass(ClassNode node,
 SourceUnit unit)

Starts verification for the supplied class and source unit.

Parameters:

node - the class to verify

unit - the owning source unit

visitClosureExpression

public void visitClosureExpression(ClosureExpression ce)

Tracks closure nesting while visiting closure expressions.

Specified by:

visitClosureExpression in interface GroovyCodeVisitor

Overrides:

visitClosureExpression in class ClassCodeVisitorSupport

Parameters:

ce - the closure expression to visit

visitConstructorCallExpression

public void visitConstructorCallExpression(ConstructorCallExpression cce)

Tracks whether the visitor is inside a special constructor call.

Specified by:

visitConstructorCallExpression in interface GroovyCodeVisitor

Overrides:

visitConstructorCallExpression in class CodeVisitorSupport

Parameters:

cce - the constructor call to visit

visitConstructorOrMethod

public void visitConstructorOrMethod(MethodNode node,
 boolean isConstructor)

Tracks the current method or constructor while verifying static references.

Overrides:

visitConstructorOrMethod in class ClassCodeVisitorSupport

Parameters:

node - the method or constructor being visited

isConstructor - whether node is a constructor

visitVariableExpression

public void visitVariableExpression(VariableExpression ve)

Reports dynamic variable access that is illegal in static contexts.

Specified by:

visitVariableExpression in interface GroovyCodeVisitor

Overrides:

visitVariableExpression in class CodeVisitorSupport

Parameters:

ve - the variable expression to inspect