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, visitYieldStatement`

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

  `afterSwitchCaseStatementsVisited, afterSwitchCaseStatementsVisited, afterSwitchConditionExpressionVisited, 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, visitSwitchExpression, 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