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 TypeCheckingContext
context
protected boolean
debug
protected boolean
handled
-
Fields inherited from class org.codehaus.groovy.transform.stc.TypeCheckingExtension
typeCheckingVisitor
-
-
Constructor Summary
Constructors Constructor Description AbstractTypeCheckingExtension(StaticTypeCheckingVisitor typeCheckingVisitor)
-
Method Summary
All Methods Instance Methods Concrete Methods Modifier and Type Method Description boolean
argTypeMatches(ClassNode[] argTypes, int index, Class clazz)
boolean
argTypeMatches(MethodCall call, int index, Class clazz)
boolean
argTypesMatches(ClassNode[] argTypes, Class... classes)
boolean
argTypesMatches(MethodCall call, Class... classes)
void
delegatesTo(ClassNode type)
void
delegatesTo(ClassNode type, int strategy)
void
delegatesTo(ClassNode type, int strategy, org.codehaus.groovy.transform.stc.DelegationMetadata parent)
boolean
firstArgTypesMatches(ClassNode[] argTypes, Class... classes)
boolean
firstArgTypesMatches(MethodCall call, Class... classes)
ArgumentListExpression
getArguments(MethodCall call)
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope
getCurrentScope()
BinaryExpression
getEnclosingBinaryExpression()
List<BinaryExpression>
getEnclosingBinaryExpressionStack()
ClassNode
getEnclosingClassNode()
List<ClassNode>
getEnclosingClassNodes()
TypeCheckingContext.EnclosingClosure
getEnclosingClosure()
List<TypeCheckingContext.EnclosingClosure>
getEnclosingClosureStack()
MethodNode
getEnclosingMethod()
Expression
getEnclosingMethodCall()
List<Expression>
getEnclosingMethodCalls()
List<MethodNode>
getEnclosingMethods()
Set<MethodNode>
getGeneratedMethods()
boolean
isAnnotatedBy(ASTNode node, Class annotation)
boolean
isAnnotatedBy(ASTNode node, ClassNode annotation)
boolean
isDynamic(VariableExpression var)
boolean
isExtensionMethod(MethodNode node)
boolean
isGenerated(MethodNode node)
boolean
isMethodCall(Object o)
void
log(String message)
MethodNode
makeDynamic(MethodCall call)
Used to instruct the type checker that the call is a dynamic method call.MethodNode
makeDynamic(MethodCall call, ClassNode returnType)
Used to instruct the type checker that the call is a dynamic method call.void
makeDynamic(PropertyExpression pexp)
Instructs the type checker that a property access is dynamic, returning an instance of an Object.void
makeDynamic(PropertyExpression pexp, ClassNode returnType)
Instructs the type checker that a property access is dynamic.void
makeDynamic(VariableExpression vexp)
Instructs the type checker that an unresolved variable is a dynamic variable of type Object.void
makeDynamic(VariableExpression vexp, ClassNode returnType)
Instructs the type checker that an unresolved variable is a dynamic variable.MethodNode
newMethod(String name, Class returnType)
MethodNode
newMethod(String name, Callable<ClassNode> returnType)
MethodNode
newMethod(String name, ClassNode returnType)
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope
newScope()
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope
newScope(Closure code)
BinaryExpression
popEnclosingBinaryExpression()
ClassNode
popEnclosingClassNode()
TypeCheckingContext.EnclosingClosure
popEnclosingClosure()
MethodNode
popEnclosingMethod()
Expression
popEnclosingMethodCall()
void
popTemporaryTypeInfo()
void
pushEnclosingBinaryExpression(BinaryExpression binaryExpression)
void
pushEnclosingClassNode(ClassNode classNode)
void
pushEnclosingClosureExpression(ClosureExpression closureExpression)
void
pushEnclosingMethod(MethodNode methodNode)
void
pushEnclosingMethodCall(Expression call)
void
pushTemporaryTypeInfo()
protected Object
safeCall(Closure closure, Object... args)
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope
scopeExit()
org.codehaus.groovy.transform.stc.AbstractTypeCheckingExtension.TypeCheckingScope
scopeExit(Closure code)
void
setHandled(boolean handled)
List<MethodNode>
unique(MethodNode node)
<R> R
withTypeChecker(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, storeType
-
-
-
-
Field Detail
-
context
protected final TypeCheckingContext context
-
handled
protected boolean handled
-
debug
protected boolean debug
-
-
Constructor Detail
-
AbstractTypeCheckingExtension
public AbstractTypeCheckingExtension(StaticTypeCheckingVisitor typeCheckingVisitor)
-
-
Method Detail
-
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
public boolean isGenerated(MethodNode node)
-
unique
public List<MethodNode> unique(MethodNode node)
-
newMethod
public MethodNode newMethod(String name, Class returnType)
-
newMethod
public MethodNode newMethod(String name, ClassNode returnType)
-
newMethod
public MethodNode newMethod(String name, Callable<ClassNode> returnType)
-
delegatesTo
public void delegatesTo(ClassNode type)
-
delegatesTo
public void delegatesTo(ClassNode type, int strategy)
-
delegatesTo
public void delegatesTo(ClassNode type, int strategy, org.codehaus.groovy.transform.stc.DelegationMetadata parent)
-
isDynamic
public boolean isDynamic(VariableExpression var)
-
isExtensionMethod
public boolean isExtensionMethod(MethodNode node)
-
getArguments
public ArgumentListExpression getArguments(MethodCall call)
-
isMethodCall
public boolean isMethodCall(Object o)
-
argTypesMatches
public boolean argTypesMatches(MethodCall call, Class... classes)
-
firstArgTypesMatches
public boolean firstArgTypesMatches(MethodCall call, Class... classes)
-
argTypeMatches
public boolean argTypeMatches(MethodCall call, int index, Class clazz)
-
withTypeChecker
public <R> R withTypeChecker(Closure<R> code)
-
makeDynamic
public MethodNode makeDynamic(MethodCall call)
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
public MethodNode makeDynamic(MethodCall call, ClassNode returnType)
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
public void makeDynamic(PropertyExpression pexp)
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
public void makeDynamic(PropertyExpression pexp, ClassNode returnType)
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
public void makeDynamic(VariableExpression vexp)
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
public void makeDynamic(VariableExpression vexp, ClassNode returnType)
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(String message)
-
getEnclosingBinaryExpression
public BinaryExpression getEnclosingBinaryExpression()
-
pushEnclosingBinaryExpression
public void pushEnclosingBinaryExpression(BinaryExpression binaryExpression)
-
pushEnclosingClosureExpression
public void pushEnclosingClosureExpression(ClosureExpression closureExpression)
-
getEnclosingMethodCall
public Expression getEnclosingMethodCall()
-
popEnclosingMethodCall
public Expression popEnclosingMethodCall()
-
popEnclosingMethod
public MethodNode popEnclosingMethod()
-
getEnclosingClassNode
public ClassNode getEnclosingClassNode()
-
getEnclosingMethods
public List<MethodNode> getEnclosingMethods()
-
getEnclosingMethod
public MethodNode getEnclosingMethod()
-
popTemporaryTypeInfo
public void popTemporaryTypeInfo()
-
pushEnclosingClassNode
public void pushEnclosingClassNode(ClassNode classNode)
-
popEnclosingBinaryExpression
public BinaryExpression popEnclosingBinaryExpression()
-
getEnclosingClosureStack
public List<TypeCheckingContext.EnclosingClosure> getEnclosingClosureStack()
-
popEnclosingClassNode
public ClassNode popEnclosingClassNode()
-
pushEnclosingMethod
public void pushEnclosingMethod(MethodNode methodNode)
-
getGeneratedMethods
public Set<MethodNode> getGeneratedMethods()
-
getEnclosingBinaryExpressionStack
public List<BinaryExpression> getEnclosingBinaryExpressionStack()
-
getEnclosingClosure
public TypeCheckingContext.EnclosingClosure getEnclosingClosure()
-
getEnclosingMethodCalls
public List<Expression> getEnclosingMethodCalls()
-
pushEnclosingMethodCall
public void pushEnclosingMethodCall(Expression call)
-
popEnclosingClosure
public TypeCheckingContext.EnclosingClosure popEnclosingClosure()
-
pushTemporaryTypeInfo
public void pushTemporaryTypeInfo()
-
-