java.lang.Object
- org.codehaus.groovy.ast.CodeVisitorSupport
- - org.codehaus.groovy.ast.ClassCodeVisitorSupport
  - - org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor
    - - org.codehaus.groovy.transform.sc.StaticCompilationVisitor

All Implemented Interfaces:

GroovyClassVisitor, GroovyCodeVisitor, ErrorCollecting
```
public class StaticCompilationVisitor
extends StaticTypeCheckingVisitor
```
This visitor is responsible for amending the AST with static compilation metadata or transform the AST so that a class or a method can be statically compiled. It may also throw errors specific to static compilation which are not considered as an error at the type check pass. For example, usage of spread operator is not allowed in statically compiled portions of code, while it may be statically checked. Static compilation relies on static type checking, which explains why this visitor extends the type checker visitor.

Nested Class Summary
- Nested classes/interfaces inherited from class org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor
  StaticTypeCheckingVisitor.SignatureCodecFactory, StaticTypeCheckingVisitor.VariableExpressionTypeMemoizer

Field Summary

Fields
Modifier and Type	Field	Description
`static MethodNode`	`ARRAYLIST_ADD_METHOD`
`static ClassNode`	`ARRAYLIST_CLASSNODE`
`static MethodNode`	`ARRAYLIST_CONSTRUCTOR`
`static ClassNode`	`COMPILESTATIC_CLASSNODE`
`static ClassNode`	`TYPECHECKED_CLASSNODE`

Constructor Summary

Constructors
Constructor Description

StaticCompilationVisitor(SourceUnit unit, ClassNode node)

Method Summary

All Methods Static Methods Instance Methods Concrete Methods
Modifier and Type	Method	Description
`protected boolean`	`existsProperty(PropertyExpression pexp, boolean checkForReadOnly, ClassCodeVisitorSupport visitor)`	Checks whether a property exists on the receiver, or on any of the possible receiver classes (found in the temporary type information table)
`protected MethodNode`	`findMethodOrFail(Expression expr, ClassNode receiver, String name, ClassNode... args)`
`protected ClassNode[]`	`getTypeCheckingAnnotations()`	Returns array of type checking annotations.
`static boolean`	`isStaticallyCompiled(AnnotatedNode node)`
`void`	`visitClass(ClassNode node)`	Visit a ClassNode.
`void`	`visitConstructorCallExpression(ConstructorCallExpression call)`
`void`	`visitForLoop(ForStatement statement)`
`void`	`visitMethod(MethodNode node)`	Visit a MethodNode.
`void`	`visitMethodCallExpression(MethodCallExpression call)`
`void`	`visitPropertyExpression(PropertyExpression expression)`
`void`	`visitSpreadExpression(SpreadExpression expression)`

Methods inherited from class org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor
addAmbiguousErrorMessage, addAssignmentError, addCategoryMethodCallError, addClosureReturnType, addError, addNoMatchingMethodError, addReceivers, addStaticTypeError, addTypeCheckingExtension, addTypeCheckingInfoAnnotation, addUnsupportedPreOrPostfixExpressionError, afterSwitchConditionExpressionVisited, areCategoryMethodCalls, checkCast, checkClosureParameters, checkForbiddenSpreadArgument, checkGroovyConstructorMap, checkGroovyStyleConstructor, checkGroovyStyleConstructor, checkReturnType, collectAllInterfaceMethodsByName, existsProperty, extractPropertyNameFromMethodName, extractTemporaryTypeInfoKey, extractTypesFromParameters, findCurrentInstanceOfClass, findInstanceOfNotReturnExpression, findMethod, findMethodsWithGenerated, findNotInstanceOfReturnExpression, formatArgumentList, getArgumentTypes, getDelegationMetadata, getGroupOperationResultType, getInferredReturnType, getInferredReturnTypeFromWithClosureArgument, getOriginalDeclarationType, getResultType, getSourceUnit, getTemporaryTypesForExpression, getType, getTypeCheckingContext, hasRHSIncompleteGenericTypeInfo, inferClosureParameterTypes, inferComponentType, inferDiamondType, inferListExpressionType, inferLoopElementType, inferMapExpressionType, inferReturnTypeGenerics, inferReturnTypeGenerics, initialize, isClassInnerClassOrEqualTo, isClosureCall, isNullConstant, isSecondPassNeededForControlStructure, isSkipMode, isSkippedInnerClass, isSuperExpression, isThisExpression, makeOwnerList, performSecondPass, popAssignmentTracking, prettyPrintMethodList, pushAssignmentTracking, pushInstanceOfTypeInfo, restoreVariableExpressionMetadata, saveVariableExpressionMetadata, setCompilationUnit, setMethodsToBeVisited, shouldSkipClassNode, shouldSkipMethodNode, silentlyVisitMethodNode, startMethodInference, storeInferredReturnType, storeInferredTypeForPropertyExpression, storeTargetMethod, storeType, typeCheckAssignment, typeCheckClosureCall, typeCheckMapConstructor, typeCheckMethodsWithGenericsOrFail, visitAttributeExpression, visitBinaryExpression, visitBitwiseNegationExpression, visitBlockStatement, visitCaseStatement, visitCastExpression, visitClassExpression, visitClosingBlock, visitClosureExpression, visitConstructor, visitConstructorOrMethod, visitExpressionStatement, visitField, visitIfElse, visitInstanceofNot, visitMethodCallArguments, visitPostfixExpression, visitPrefixExpression, visitProperty, visitRangeExpression, visitReturnStatement, visitStaticMethodCallExpression, visitSwitch, visitTernaryExpression, visitTryCatchFinally, visitUnaryMinusExpression, visitUnaryPlusExpression, visitVariableExpression, visitWhileLoop, wrapTypeIfNecessary

Methods inherited from class org.codehaus.groovy.ast.ClassCodeVisitorSupport
visitAnnotation, visitAnnotations, visitAssertStatement, visitBreakStatement, visitCatchStatement, visitClassCodeContainer, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitImports, visitObjectInitializerStatements, visitPackage, visitStatement, visitSynchronizedStatement, visitThrowStatement

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
visitEmptyExpression, visitListOfExpressions

- Field Detail
  - TYPECHECKED_CLASSNODE
```
public static final ClassNode TYPECHECKED_CLASSNODE
```
  - COMPILESTATIC_CLASSNODE
```
public static final ClassNode COMPILESTATIC_CLASSNODE
```
  - ARRAYLIST_CLASSNODE
```
public static final ClassNode ARRAYLIST_CLASSNODE
```
  - ARRAYLIST_ADD_METHOD
```
public static final MethodNode ARRAYLIST_ADD_METHOD
```
  - ARRAYLIST_CONSTRUCTOR
```
public static final MethodNode ARRAYLIST_CONSTRUCTOR
```
- Constructor Detail
  - StaticCompilationVisitor
```
public StaticCompilationVisitor(SourceUnit unit,
                                ClassNode node)
```
- Method Detail
  - getTypeCheckingAnnotations
```
protected ClassNode[] getTypeCheckingAnnotations()
```
    Description copied from class: StaticTypeCheckingVisitor
    
    Returns array of type checking annotations. Subclasses may override this method in order to provide additional types which must be looked up when checking if a method or a class node should be skipped.
    The default implementation returns TypeChecked.
    
    Overrides:
    
    getTypeCheckingAnnotations in class StaticTypeCheckingVisitor
  - isStaticallyCompiled
```
public static boolean isStaticallyCompiled(AnnotatedNode node)
```
  - visitClass
```
public void visitClass(ClassNode node)
```
    Description copied from interface: GroovyClassVisitor
    
    Visit a ClassNode.
    
    Specified by:
    
    visitClass in interface GroovyClassVisitor
    
    Overrides:
    
    visitClass in class StaticTypeCheckingVisitor
  - visitMethod
```
public void visitMethod(MethodNode node)
```
    Description copied from interface: GroovyClassVisitor
    
    Visit a MethodNode.
    
    Specified by:
    
    visitMethod in interface GroovyClassVisitor
    
    Overrides:
    
    visitMethod in class StaticTypeCheckingVisitor
  - visitMethodCallExpression
```
public void visitMethodCallExpression(MethodCallExpression call)
```
    Specified by:
    
    visitMethodCallExpression in interface GroovyCodeVisitor
    
    Overrides:
    
    visitMethodCallExpression in class StaticTypeCheckingVisitor
  - visitConstructorCallExpression
```
public void visitConstructorCallExpression(ConstructorCallExpression call)
```
    Specified by:
    
    visitConstructorCallExpression in interface GroovyCodeVisitor
    
    Overrides:
    
    visitConstructorCallExpression in class StaticTypeCheckingVisitor
  - visitForLoop
```
public void visitForLoop(ForStatement statement)
```
    Specified by:
    
    visitForLoop in interface GroovyCodeVisitor
    
    Overrides:
    
    visitForLoop in class StaticTypeCheckingVisitor
  - findMethodOrFail
```
protected MethodNode findMethodOrFail(Expression expr,
                                      ClassNode receiver,
                                      String name,
                                      ClassNode... args)
```
    Overrides:
    
    findMethodOrFail in class StaticTypeCheckingVisitor
  - existsProperty
```
protected boolean existsProperty(PropertyExpression pexp,
                                 boolean checkForReadOnly,
                                 ClassCodeVisitorSupport visitor)
```
    Description copied from class: StaticTypeCheckingVisitor
    
    Checks whether a property exists on the receiver, or on any of the possible receiver classes (found in the temporary type information table)
    
    Overrides:
    
    existsProperty in class StaticTypeCheckingVisitor
    
    Parameters:
    
    pexp - a property expression
    
    checkForReadOnly - if true, look for property read, else for property set
    
    visitor - if not null, when the property node is found, visit it with the provided visitor
    
    Returns:
    
    true if the property is defined in any of the possible receiver classes
  - visitPropertyExpression
```
public void visitPropertyExpression(PropertyExpression expression)
```
    Specified by:
    
    visitPropertyExpression in interface GroovyCodeVisitor
    
    Overrides:
    
    visitPropertyExpression in class StaticTypeCheckingVisitor
  - visitSpreadExpression
```
public void visitSpreadExpression(SpreadExpression expression)
```
    Specified by:
    
    visitSpreadExpression in interface GroovyCodeVisitor
    
    Overrides:
    
    visitSpreadExpression in class CodeVisitorSupport

Class StaticCompilationVisitor

Nested Class Summary

Nested classes/interfaces inherited from class org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor

Field Summary

Fields inherited from class org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor

Constructor Summary

Method Summary

Methods inherited from class org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor

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

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

Methods inherited from class java.lang.Object

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

Field Detail

TYPECHECKED_CLASSNODE

COMPILESTATIC_CLASSNODE

ARRAYLIST_CLASSNODE

ARRAYLIST_ADD_METHOD

ARRAYLIST_CONSTRUCTOR

Constructor Detail

StaticCompilationVisitor

Method Detail

getTypeCheckingAnnotations

isStaticallyCompiled

visitClass

visitMethod

visitMethodCallExpression

visitConstructorCallExpression

visitForLoop

findMethodOrFail

existsProperty

visitPropertyExpression

visitSpreadExpression