Class AbstractTypeCheckingExtension
java.lang.Object
org.codehaus.groovy.transform.stc.TypeCheckingExtension
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension
- Direct Known Subclasses:
GroovyTypeCheckingExtensionSupport,TraitTypeCheckingExtension
public class AbstractTypeCheckingExtension extends TypeCheckingExtension
Custom type checking extensions may extend this method in order to benefit from a lot of support methods.
The methods found in this class are made directly available in type checking scripts
through the GroovyTypeCheckingExtensionSupport class.
- Since:
- 2.3.0
-
Field Summary
Fields Modifier and Type Field Description protected TypeCheckingContextcontextprotected booleandebugprotected booleanhandledFields inherited from class org.codehaus.groovy.transform.stc.TypeCheckingExtension
typeCheckingVisitor -
Constructor Summary
Constructors Constructor Description AbstractTypeCheckingExtension(StaticTypeCheckingVisitor typeCheckingVisitor) -
Method Summary
Modifier and Type Method Description booleanargTypeMatches(ClassNode[] argTypes, int index, java.lang.Class clazz)booleanargTypeMatches(MethodCall call, int index, java.lang.Class clazz)booleanargTypesMatches(ClassNode[] argTypes, java.lang.Class... classes)booleanargTypesMatches(MethodCall call, java.lang.Class... classes)voiddelegatesTo(ClassNode type)voiddelegatesTo(ClassNode type, int strategy)voiddelegatesTo(ClassNode type, int strategy, org.codehaus.groovy.transform.stc.DelegationMetadata parent)booleanfirstArgTypesMatches(ClassNode[] argTypes, java.lang.Class... classes)booleanfirstArgTypesMatches(MethodCall call, java.lang.Class... classes)ArgumentListExpressiongetArguments(MethodCall call)org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScopegetCurrentScope()BinaryExpressiongetEnclosingBinaryExpression()java.util.List<BinaryExpression>getEnclosingBinaryExpressionStack()ClassNodegetEnclosingClassNode()java.util.List<ClassNode>getEnclosingClassNodes()TypeCheckingContext.EnclosingClosuregetEnclosingClosure()java.util.List<TypeCheckingContext.EnclosingClosure>getEnclosingClosureStack()MethodNodegetEnclosingMethod()ExpressiongetEnclosingMethodCall()java.util.List<Expression>getEnclosingMethodCalls()java.util.List<MethodNode>getEnclosingMethods()java.util.Set<MethodNode>getGeneratedMethods()booleanisAnnotatedBy(ASTNode node, java.lang.Class annotation)booleanisAnnotatedBy(ASTNode node, ClassNode annotation)booleanisDynamic(VariableExpression var)booleanisExtensionMethod(MethodNode node)booleanisGenerated(MethodNode node)booleanisMethodCall(java.lang.Object o)voidlog(java.lang.String message)MethodNodemakeDynamic(MethodCall call)Used to instruct the type checker that the call is a dynamic method call.MethodNodemakeDynamic(MethodCall call, ClassNode returnType)Used to instruct the type checker that the call is a dynamic method call.voidmakeDynamic(PropertyExpression pexp)Instructs the type checker that a property access is dynamic, returning an instance of an Object.voidmakeDynamic(PropertyExpression pexp, ClassNode returnType)Instructs the type checker that a property access is dynamic.voidmakeDynamic(VariableExpression vexp)Instructs the type checker that an unresolved variable is a dynamic variable of type Object.voidmakeDynamic(VariableExpression vexp, ClassNode returnType)Instructs the type checker that an unresolved variable is a dynamic variable.MethodNodenewMethod(java.lang.String name, java.lang.Class returnType)MethodNodenewMethod(java.lang.String name, java.util.concurrent.Callable<ClassNode> returnType)MethodNodenewMethod(java.lang.String name, ClassNode returnType)org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScopenewScope()org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScopenewScope(Closure code)BinaryExpressionpopEnclosingBinaryExpression()ClassNodepopEnclosingClassNode()TypeCheckingContext.EnclosingClosurepopEnclosingClosure()MethodNodepopEnclosingMethod()ExpressionpopEnclosingMethodCall()voidpopTemporaryTypeInfo()voidpushEnclosingBinaryExpression(BinaryExpression binaryExpression)voidpushEnclosingClassNode(ClassNode classNode)voidpushEnclosingClosureExpression(ClosureExpression closureExpression)voidpushEnclosingMethod(MethodNode methodNode)voidpushEnclosingMethodCall(Expression call)voidpushTemporaryTypeInfo()protected java.lang.ObjectsafeCall(Closure closure, java.lang.Object... args)org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScopescopeExit()org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScopescopeExit(Closure code)voidsetHandled(boolean handled)java.util.List<MethodNode>unique(MethodNode node)<R> RwithTypeChecker(Closure<R> code)Methods inherited from class org.codehaus.groovy.transform.stc.TypeCheckingExtension
addStaticTypeError, afterMethodCall, afterVisitClass, afterVisitMethod, beforeMethodCall, beforeVisitClass, beforeVisitMethod, buildListType, buildMapType, classNodeFor, classNodeFor, existsProperty, existsProperty, extractStaticReceiver, finish, getArgumentTypes, getTargetMethod, getType, handleAmbiguousMethods, handleIncompatibleAssignment, handleIncompatibleReturnType, handleMissingMethod, handleUnresolvedAttribute, handleUnresolvedProperty, handleUnresolvedVariableExpression, isStaticMethodCallOnClass, lookupClassNodeFor, onMethodSelection, parameterizedType, setup, storeTypeMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait
-
Field Details
-
context
-
handled
protected boolean handled -
debug
protected boolean debug
-
-
Constructor Details
-
AbstractTypeCheckingExtension
-
-
Method Details
-
setHandled
public void setHandled(boolean handled) -
newScope
public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope newScope() -
newScope
public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope newScope(Closure code) -
scopeExit
public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope scopeExit() -
getCurrentScope
public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope getCurrentScope() -
scopeExit
public org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope scopeExit(Closure code) -
isGenerated
-
unique
-
newMethod
-
newMethod
-
newMethod
public MethodNode newMethod(java.lang.String name, java.util.concurrent.Callable<ClassNode> returnType) -
delegatesTo
-
delegatesTo
-
delegatesTo
public void delegatesTo(ClassNode type, int strategy, org.codehaus.groovy.transform.stc.DelegationMetadata parent) -
isAnnotatedBy
-
isAnnotatedBy
-
isDynamic
-
isExtensionMethod
-
getArguments
-
safeCall
-
isMethodCall
public boolean isMethodCall(java.lang.Object o) -
argTypesMatches
-
argTypesMatches
-
firstArgTypesMatches
-
firstArgTypesMatches
-
argTypeMatches
-
argTypeMatches
-
withTypeChecker
-
makeDynamic
Used to instruct the type checker that the call is a dynamic method call. Calling this method automatically sets the handled flag to true. The expected return type of the dynamic method call is Object.- Parameters:
call- the method call which is a dynamic method call- Returns:
- a virtual method node with the same name as the expected call
-
makeDynamic
Used to instruct the type checker that the call is a dynamic method call. Calling this method automatically sets the handled flag to true.- Parameters:
call- the method call which is a dynamic method callreturnType- the expected return type of the dynamic call- Returns:
- a virtual method node with the same name as the expected call
-
makeDynamic
Instructs the type checker that a property access is dynamic, returning an instance of an Object. Calling this method automatically sets the handled flag to true.- Parameters:
pexp- the property or attribute expression
-
makeDynamic
Instructs the type checker that a property access is dynamic. Calling this method automatically sets the handled flag to true.- Parameters:
pexp- the property or attribute expressionreturnType- the type of the property
-
makeDynamic
Instructs the type checker that an unresolved variable is a dynamic variable of type Object. Calling this method automatically sets the handled flag to true.- Parameters:
vexp- the dynamic variable
-
makeDynamic
Instructs the type checker that an unresolved variable is a dynamic variable.- Parameters:
returnType- the type of the dynamic variable Calling this method automatically sets the handled flag to true.vexp- the dynamic variable
-
log
public void log(java.lang.String message) -
getEnclosingBinaryExpression
-
pushEnclosingBinaryExpression
-
pushEnclosingClosureExpression
-
getEnclosingMethodCall
-
popEnclosingMethodCall
-
popEnclosingMethod
-
getEnclosingClassNode
-
getEnclosingMethods
-
getEnclosingMethod
-
popTemporaryTypeInfo
public void popTemporaryTypeInfo() -
pushEnclosingClassNode
-
popEnclosingBinaryExpression
-
getEnclosingClassNodes
-
getEnclosingClosureStack
-
popEnclosingClassNode
-
pushEnclosingMethod
-
getGeneratedMethods
-
getEnclosingBinaryExpressionStack
-
getEnclosingClosure
-
getEnclosingMethodCalls
-
pushEnclosingMethodCall
-
popEnclosingClosure
-
pushTemporaryTypeInfo
public void pushTemporaryTypeInfo()
-