Class StaticTypeCheckingVisitor
java.lang.Object
org.codehaus.groovy.ast.CodeVisitorSupport
org.codehaus.groovy.ast.ClassCodeVisitorSupport
org.codehaus.groovy.transform.stc.StaticTypeCheckingVisitor
- All Implemented Interfaces:
GroovyClassVisitor,GroovyCodeVisitor,ErrorCollecting
- Direct Known Subclasses:
StaticCompilationVisitor
The main class code visitor responsible for static type checking. It will perform various inspections like checking
assignment types, type inference, ... Eventually, class nodes may be annotated with inferred type information.
-
Nested Class Summary
Nested ClassesModifier and TypeClassDescriptionstatic classprotected class -
Field Summary
FieldsModifier and TypeFieldDescriptionstatic final MethodNodestatic final MethodNodestatic final MethodNodeprotected static final ClassNodeprotected static final Expressionprotected static final intprotected FieldNodeprotected PropertyNodeprotected static final ClassNodeprotected static final ClassNodeprotected static final ClassNodeprotected static final List<MethodNode>protected static final ClassNodeprotected static final Objectprotected DefaultTypeCheckingExtensionstatic final Statementprotected static final MethodNodeprotected static final MethodNodeprotected static final MethodNodeprotected static final ClassNodeprotected static final ClassNodeDeprecated.protected static final ClassNodeprotected static final ClassNodeprotected static final ClassNodeprotected final ReturnAdderprotected final ReturnAdder.ReturnStatementListenerprotected static final ClassNodeprotected static final ClassNode[]protected static final ClassNodeprotected TypeCheckingContext -
Constructor Summary
Constructors -
Method Summary
Modifier and TypeMethodDescriptionprotected voidaddAmbiguousErrorMessage(List<MethodNode> foundMethods, String name, ClassNode[] args, Expression expr) protected voidaddAssignmentError(ClassNode leftType, ClassNode rightType, Expression expression) protected voidprotected voidaddClosureReturnType(ClassNode returnType) voidprotected voidaddNoMatchingMethodError(ClassNode receiver, String name, ClassNode[] args, ASTNode origin) protected voidaddNoMatchingMethodError(ClassNode receiver, String name, ClassNode[] args, Expression exp) protected voidaddReceivers(List<Receiver<String>> receivers, Collection<Receiver<String>> owners, boolean implicitThis) protected voidaddStaticTypeError(String msg, ASTNode node) voidaddTypeCheckingExtension(TypeCheckingExtension extension) protected voidprotected voidaddUnsupportedPreOrPostfixExpressionError(Expression expression) protected voidprotected booleanareCategoryMethodCalls(List<MethodNode> foundMethods, String name, ClassNode[] args) protected booleancheckCast(ClassNode targetType, Expression source) protected voidcheckClosureParameters(Expression callArguments, ClassNode receiver) Deprecated.protected voidcheckForbiddenSpreadArgument(ArgumentListExpression argumentList) protected voidcheckGroovyConstructorMap(Expression receiver, ClassNode receiverType, MapExpression mapExpression) protected voidcheckGroovyStyleConstructor(ClassNode node, ClassNode[] arguments) protected MethodNodecheckGroovyStyleConstructor(ClassNode node, ClassNode[] arguments, ASTNode origin) Checks that a constructor style expression is valid regarding the number of arguments and the argument types.protected ClassNodecheckReturnType(ReturnStatement statement) protected booleanexistsProperty(PropertyExpression pexp, boolean checkForReadOnly) protected booleanexistsProperty(PropertyExpression pexp, boolean readMode, 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)static StringextractPropertyNameFromMethodName(String prefix, String methodName) Given a method name and a prefix, returns the name of the property that should be looked up, following the java beans rules.protected ObjectextractTemporaryTypeInfoKey(Expression expression) Computes the key to use forTypeCheckingContext.temporaryIfBranchTypeInformation.protected static ClassNode[]extractTypesFromParameters(Parameter[] parameters) protected ClassNodefindCurrentInstanceOfClass(Expression expr, ClassNode type) A helper method which determines which receiver class should be used in error messages when a field or attribute is not found.protected BinaryExpressionDeprecated.protected List<MethodNode>findMethod(ClassNode receiver, String name, ClassNode... args) protected MethodNodefindMethodOrFail(Expression expr, ClassNode receiver, String name, ClassNode... args) protected List<MethodNode>findMethodsWithGenerated(ClassNode receiver, String name) Returns methods defined for the specified receiver and adds "non-existing" methods that will be generated afterwards by the compiler; for example if a method is using default values and the class node is not compiled yet.protected BinaryExpressionDeprecated.protected static StringformatArgumentList(ClassNode[] nodes) protected ClassNode[]getArgumentTypes(ArgumentListExpression argumentList) protected org.codehaus.groovy.transform.stc.DelegationMetadatagetDelegationMetadata(ClosureExpression expression) protected static ClassNodeprotected ClassNodegetInferredReturnType(ASTNode node) Returns the inferred return type of a closure or method, if stored on the AST node.protected ClassNodegetInferredReturnTypeFromWithClosureArgument(Expression callArguments) In the case of a Object.with { ...protected ClassNodeprotected ClassNodegetResultType(ClassNode left, int op, ClassNode right, BinaryExpression expr) protected SourceUnitgetTemporaryTypesForExpression(Expression expression) protected ClassNodeprotected ClassNode[]Returns array of type checking annotations.Returns the current type checking context.protected static booleanhasRHSIncompleteGenericTypeInfo(ClassNode inferredRightExpressionType) Deprecated.protected voidinferClosureParameterTypes(ClassNode receiver, Expression arguments, ClosureExpression expression, Parameter target, MethodNode method) Performs type inference on closure argument types whenever code like this is found:foo.collect { it.toUpperCase() }.protected ClassNodeinferComponentType(ClassNode receiverType, ClassNode subscriptType) protected voidinferDiamondType(ConstructorCallExpression cce, ClassNode lType) protected ClassNodestatic ClassNodeinferLoopElementType(ClassNode collectionType) Returns the inferred loop element type given a loop collection type.protected ClassNodeprotected ClassNodeinferReturnTypeGenerics(ClassNode receiver, MethodNode method, Expression arguments) If a method call returns a parameterized type, then perform additional inference on the return type, so that the type gets actual type arguments.protected ClassNodeinferReturnTypeGenerics(ClassNode receiver, MethodNode method, Expression arguments, GenericsType[] explicitTypeHints) If a method call returns a parameterized type, then perform additional inference on the return type, so that the type gets actual type arguments.voidprotected static booleanisClassInnerClassOrEqualTo(ClassNode toBeChecked, ClassNode start) protected static booleanisNullConstant(Expression expression) protected booleanisSecondPassNeededForControlStructure(Map<VariableExpression, ClassNode> startTypes, Map<VariableExpression, List<ClassNode>> oldTracker) booleanisSkipMode(AnnotatedNode node) protected booleanTests if a node is an inner class node, and if it is, then checks if the enclosing method is skipped.protected static booleanisSuperExpression(Expression expression) protected static booleanisThisExpression(Expression expression) makeOwnerList(Expression objectExpression) Given an object expression (a message receiver expression), generate list of possible types.voidprotected Map<VariableExpression,ClassNode> popAssignmentTracking(Map<VariableExpression, List<ClassNode>> oldTracker) protected static StringprettyPrintMethodList(List<MethodNode> nodes) protected Map<VariableExpression,List<ClassNode>> protected voidpushInstanceOfTypeInfo(Expression objectOfInstanceOf, Expression typeExpression) Stores information about types when [objectOfInstanceof instanceof typeExpression] is visited.protected voidrestoreVariableExpressionMetadata(Map<VariableExpression, Map<StaticTypesMarker, Object>> typesBeforeVisit) protected voidsaveVariableExpressionMetadata(Set<VariableExpression> closureSharedExpressions, Map<VariableExpression, Map<StaticTypesMarker, Object>> typesBeforeVisit) voidsetCompilationUnit(CompilationUnit compilationUnit) voidsetMethodsToBeVisited(Set<MethodNode> methodsToBeVisited) protected booleanshouldSkipClassNode(ClassNode node) protected booleanprotected voidsilentlyVisitMethodNode(MethodNode directMethodCallCandidate) Visits a method call target, to infer the type.protected voidstartMethodInference(MethodNode node, ErrorCollector collector) protected ClassNodestoreInferredReturnType(ASTNode node, ClassNode type) Stores the inferred return type of a closure or method.protected voidstoreTargetMethod(Expression call, MethodNode target) protected voidstoreType(Expression exp, ClassNode cn) protected voidtypeCheckAssignment(BinaryExpression assignmentExpression, Expression leftExpression, ClassNode leftExpressionType, Expression rightExpression, ClassNode rightExpressionType) protected voidtypeCheckClosureCall(Expression arguments, ClassNode[] argumentTypes, Parameter[] parameters) protected MethodNodetypeCheckMapConstructor(ConstructorCallExpression call, ClassNode receiver, Expression arguments) protected booleantypeCheckMethodsWithGenericsOrFail(ClassNode receiver, ClassNode[] arguments, MethodNode candidateMethod, Expression location) voidvisitArrayExpression(ArrayExpression expression) voidvisitAttributeExpression(AttributeExpression expression) voidvisitBinaryExpression(BinaryExpression expression) voidvoidDeprecated.voidvisitCaseStatement(CaseStatement statement) voidvisitCastExpression(CastExpression expression) voidvisitClass(ClassNode node) Visit a ClassNode.voidvisitClassExpression(ClassExpression expression) voidvisitClosingBlock(BlockStatement block) Deprecated.voidvisitClosureExpression(ClosureExpression expression) voidVisit a ConstructorNode.voidprotected voidvisitConstructorOrMethod(MethodNode node, boolean isConstructor) voidvisitExpressionStatement(ExpressionStatement statement) voidvisitField(FieldNode node) Visit a FieldNode.voidvisitForLoop(ForStatement forLoop) voidvisitIfElse(IfStatement ifElse) protected voidDeprecated.voidvisitMethod(MethodNode node) Visit a MethodNode.protected voidvisitMethodCallArguments(ClassNode receiver, ArgumentListExpression arguments, boolean visitClosures, MethodNode selectedMethod) voidvoidvisitMethodPointerExpression(MethodPointerExpression expression) voidvisitNotExpression(NotExpression expression) protected voidvoidvisitPostfixExpression(PostfixExpression expression) voidvisitPrefixExpression(PrefixExpression expression) voidvisitProperty(PropertyNode node) Visit a PropertyNode.voidvisitPropertyExpression(PropertyExpression expression) voidvisitRangeExpression(RangeExpression expression) voidvisitReturnStatement(ReturnStatement statement) voidvoidvisitSwitch(SwitchStatement statement) voidvisitTernaryExpression(TernaryExpression expression) voidvisitTryCatchFinally(TryCatchStatement statement) voidvisitUnaryMinusExpression(UnaryMinusExpression expression) voidvisitUnaryPlusExpression(UnaryPlusExpression expression) voidvoidvisitWhileLoop(WhileStatement loop) protected static ClassNodewrapTypeIfNecessary(ClassNode type) Returns a wrapped type if, and only if, the provided class node is a primitive type.Methods inherited from class org.codehaus.groovy.ast.ClassCodeVisitorSupport
visitAnnotation, visitAnnotations, visitAnnotations, visitAssertStatement, visitBreakStatement, visitCatchStatement, visitClassCodeContainer, visitContinueStatement, visitDeclarationExpression, visitDoWhileLoop, visitImports, visitPackage, visitStatement, visitSynchronizedStatement, visitThrowStatementMethods inherited from class org.codehaus.groovy.ast.CodeVisitorSupport
visitArgumentlistExpression, visitBooleanExpression, visitBytecodeExpression, visitClosureListExpression, visitConstantExpression, visitEmptyStatement, visitFieldExpression, visitGStringExpression, visitLambdaExpression, visitListExpression, visitMapEntryExpression, visitMapExpression, visitMethodReferenceExpression, visitShortTernaryExpression, visitSpreadExpression, visitSpreadMapExpression, visitTupleExpressionMethods inherited from class java.lang.Object
clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, waitMethods inherited from interface org.codehaus.groovy.ast.GroovyCodeVisitor
visit, visit, visitEmptyExpression, visitListOfExpressions
-
Field Details
-
ERROR_COLLECTOR
-
EMPTY_METHODNODE_LIST
-
TYPECHECKED_CLASSNODE
-
TYPECHECKING_ANNOTATIONS
-
TYPECHECKING_INFO_NODE
-
DGM_CLASSNODE
-
CURRENT_SIGNATURE_PROTOCOL_VERSION
protected static final int CURRENT_SIGNATURE_PROTOCOL_VERSION- See Also:
-
CURRENT_SIGNATURE_PROTOCOL
-
GET_DELEGATE
-
GET_OWNER
-
GET_THISOBJECT
-
DELEGATES_TO
-
DELEGATES_TO_TARGET
-
CLOSUREPARAMS_CLASSNODE
-
NAMED_PARAMS_CLASSNODE
-
NAMED_PARAM_CLASSNODE
-
LINKEDHASHMAP_CLASSNODE
Deprecated. -
ENUMERATION_TYPE
-
MAP_ENTRY_TYPE
-
ITERABLE_TYPE
-
CLOSURE_CALL_NO_ARG
-
CLOSURE_CALL_ONE_ARG
-
CLOSURE_CALL_VARGS
-
GENERATED_EMPTY_STATEMENT
-
returnListener
-
returnAdder
-
currentField
-
currentProperty
-
extension
-
typeCheckingContext
-
-
Constructor Details
-
StaticTypeCheckingVisitor
-
-
Method Details
-
setCompilationUnit
-
getSourceUnit
- Specified by:
getSourceUnitin classClassCodeVisitorSupport
-
initialize
public void initialize() -
getTypeCheckingAnnotations
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. -
getTypeCheckingContext
Returns the current type checking context. The context is used internally by the type checker during type checking to store various state data.- Returns:
- the type checking context
-
addTypeCheckingExtension
-
visitClass
Description copied from interface:GroovyClassVisitorVisit a ClassNode.- Specified by:
visitClassin interfaceGroovyClassVisitor- Overrides:
visitClassin classClassCodeVisitorSupport
-
shouldSkipClassNode
-
shouldSkipMethodNode
-
isSkipMode
-
isSkippedInnerClass
Tests if a node is an inner class node, and if it is, then checks if the enclosing method is skipped.- Returns:
- true if the inner class node should be skipped
-
visitClassExpression
- Specified by:
visitClassExpressionin interfaceGroovyCodeVisitor- Overrides:
visitClassExpressionin classCodeVisitorSupport
-
visitVariableExpression
- Specified by:
visitVariableExpressionin interfaceGroovyCodeVisitor- Overrides:
visitVariableExpressionin classCodeVisitorSupport
-
visitPropertyExpression
- Specified by:
visitPropertyExpressionin interfaceGroovyCodeVisitor- Overrides:
visitPropertyExpressionin classCodeVisitorSupport
-
visitAttributeExpression
- Specified by:
visitAttributeExpressionin interfaceGroovyCodeVisitor- Overrides:
visitAttributeExpressionin classCodeVisitorSupport
-
visitRangeExpression
- Specified by:
visitRangeExpressionin interfaceGroovyCodeVisitor- Overrides:
visitRangeExpressionin classCodeVisitorSupport
-
visitNotExpression
- Specified by:
visitNotExpressionin interfaceGroovyCodeVisitor- Overrides:
visitNotExpressionin classCodeVisitorSupport
-
visitBinaryExpression
- Specified by:
visitBinaryExpressionin interfaceGroovyCodeVisitor- Overrides:
visitBinaryExpressionin classCodeVisitorSupport
-
getOriginalDeclarationType
-
inferDiamondType
-
typeCheckAssignment
protected void typeCheckAssignment(BinaryExpression assignmentExpression, Expression leftExpression, ClassNode leftExpressionType, Expression rightExpression, ClassNode rightExpressionType) -
checkGroovyConstructorMap
protected void checkGroovyConstructorMap(Expression receiver, ClassNode receiverType, MapExpression mapExpression) -
hasRHSIncompleteGenericTypeInfo
@Deprecated protected static boolean hasRHSIncompleteGenericTypeInfo(ClassNode inferredRightExpressionType) Deprecated. -
checkGroovyStyleConstructor
Deprecated.Checks that a constructor style expression is valid regarding the number of arguments and the argument types.- Parameters:
node- the class node for which we will try to find a matching constructorarguments- the constructor arguments
-
checkGroovyStyleConstructor
protected MethodNode checkGroovyStyleConstructor(ClassNode node, ClassNode[] arguments, ASTNode origin) Checks that a constructor style expression is valid regarding the number of arguments and the argument types.- Parameters:
node- the class node for which we will try to find a matching constructorarguments- the constructor arguments
-
existsProperty
-
existsProperty
protected boolean existsProperty(PropertyExpression pexp, boolean readMode, 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)- Parameters:
pexp- a property expressionreadMode- if true, look for property read, else for property setvisitor- 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
-
visitProperty
Description copied from interface:GroovyClassVisitorVisit a PropertyNode.- Specified by:
visitPropertyin interfaceGroovyClassVisitor- Overrides:
visitPropertyin classClassCodeVisitorSupport
-
visitField
Description copied from interface:GroovyClassVisitorVisit a FieldNode.- Specified by:
visitFieldin interfaceGroovyClassVisitor- Overrides:
visitFieldin classClassCodeVisitorSupport
-
visitForLoop
- Specified by:
visitForLoopin interfaceGroovyCodeVisitor- Overrides:
visitForLoopin classClassCodeVisitorSupport
-
inferLoopElementType
Returns the inferred loop element type given a loop collection type. Used, for example, to infer the element type of afor (e in list)loop.- Parameters:
collectionType- the type of the collection- Returns:
- the inferred component type
- See Also:
-
isSecondPassNeededForControlStructure
protected boolean isSecondPassNeededForControlStructure(Map<VariableExpression, ClassNode> startTypes, Map<VariableExpression, List<ClassNode>> oldTracker) -
visitWhileLoop
- Specified by:
visitWhileLoopin interfaceGroovyCodeVisitor- Overrides:
visitWhileLoopin classClassCodeVisitorSupport
-
visitBitwiseNegationExpression
- Specified by:
visitBitwiseNegationExpressionin interfaceGroovyCodeVisitor- Overrides:
visitBitwiseNegationExpressionin classCodeVisitorSupport
-
visitUnaryPlusExpression
- Specified by:
visitUnaryPlusExpressionin interfaceGroovyCodeVisitor- Overrides:
visitUnaryPlusExpressionin classCodeVisitorSupport
-
visitUnaryMinusExpression
- Specified by:
visitUnaryMinusExpressionin interfaceGroovyCodeVisitor- Overrides:
visitUnaryMinusExpressionin classCodeVisitorSupport
-
visitPostfixExpression
- Specified by:
visitPostfixExpressionin interfaceGroovyCodeVisitor- Overrides:
visitPostfixExpressionin classCodeVisitorSupport
-
visitPrefixExpression
- Specified by:
visitPrefixExpressionin interfaceGroovyCodeVisitor- Overrides:
visitPrefixExpressionin classCodeVisitorSupport
-
visitExpressionStatement
- Specified by:
visitExpressionStatementin interfaceGroovyCodeVisitor- Overrides:
visitExpressionStatementin classClassCodeVisitorSupport
-
visitReturnStatement
- Specified by:
visitReturnStatementin interfaceGroovyCodeVisitor- Overrides:
visitReturnStatementin classClassCodeVisitorSupport
-
checkReturnType
-
addClosureReturnType
-
visitConstructorCallExpression
- Specified by:
visitConstructorCallExpressionin interfaceGroovyCodeVisitor- Overrides:
visitConstructorCallExpressionin classCodeVisitorSupport
-
typeCheckMapConstructor
protected MethodNode typeCheckMapConstructor(ConstructorCallExpression call, ClassNode receiver, Expression arguments) -
getArgumentTypes
-
visitClosureExpression
- Specified by:
visitClosureExpressionin interfaceGroovyCodeVisitor- Overrides:
visitClosureExpressionin classCodeVisitorSupport
-
visitMethodPointerExpression
- Specified by:
visitMethodPointerExpressionin interfaceGroovyCodeVisitor- Overrides:
visitMethodPointerExpressionin classCodeVisitorSupport
-
getDelegationMetadata
protected org.codehaus.groovy.transform.stc.DelegationMetadata getDelegationMetadata(ClosureExpression expression) -
restoreVariableExpressionMetadata
protected void restoreVariableExpressionMetadata(Map<VariableExpression, Map<StaticTypesMarker, Object>> typesBeforeVisit) -
saveVariableExpressionMetadata
protected void saveVariableExpressionMetadata(Set<VariableExpression> closureSharedExpressions, Map<VariableExpression, Map<StaticTypesMarker, Object>> typesBeforeVisit) -
visitConstructor
Description copied from interface:GroovyClassVisitorVisit a ConstructorNode.- Specified by:
visitConstructorin interfaceGroovyClassVisitor- Overrides:
visitConstructorin classClassCodeVisitorSupport
-
visitMethod
Description copied from interface:GroovyClassVisitorVisit a MethodNode.- Specified by:
visitMethodin interfaceGroovyClassVisitor- Overrides:
visitMethodin classClassCodeVisitorSupport
-
startMethodInference
-
visitConstructorOrMethod
- Overrides:
visitConstructorOrMethodin classClassCodeVisitorSupport
-
visitObjectInitializerStatements
- Overrides:
visitObjectInitializerStatementsin classClassCodeVisitorSupport
-
addTypeCheckingInfoAnnotation
-
visitStaticMethodCallExpression
- Specified by:
visitStaticMethodCallExpressionin interfaceGroovyCodeVisitor- Overrides:
visitStaticMethodCallExpressionin classCodeVisitorSupport
-
checkClosureParameters
Deprecated.this method is unused, replaced withDelegatesToinference. -
silentlyVisitMethodNode
Visits a method call target, to infer the type. Don't report errors right away, that will be done by a later visitMethod call. -
visitMethodCallArguments
protected void visitMethodCallArguments(ClassNode receiver, ArgumentListExpression arguments, boolean visitClosures, MethodNode selectedMethod) -
inferClosureParameterTypes
protected void inferClosureParameterTypes(ClassNode receiver, Expression arguments, ClosureExpression expression, Parameter target, MethodNode method) Performs type inference on closure argument types whenever code like this is found:foo.collect { it.toUpperCase() }.In this case the type checker tries to find if the
collectmethod has itsClosureargument annotated withClosureParams. If so, then additional type inference can be performed and the type ofitmay be inferred.- Parameters:
receiver-arguments-expression- closure or lambda expression for which the argument types should be inferredtarget- parameter which may provideClosureParamsannotation or SAM typemethod- method that declarestarget
-
addReceivers
-
visitMethodCallExpression
- Specified by:
visitMethodCallExpressionin interfaceGroovyCodeVisitor- Overrides:
visitMethodCallExpressionin classCodeVisitorSupport
-
getInferredReturnTypeFromWithClosureArgument
In the case of a Object.with { ... } call, this method is supposed to retrieve the inferred closure return type.- Parameters:
callArguments- the argument list from the Object#with(Closure) call, i.e. a single closure expression- Returns:
- the inferred closure return type or null
-
makeOwnerList
Given an object expression (a message receiver expression), generate list of possible types.- Parameters:
objectExpression- the receiver expression- Returns:
- the list of types the receiver may be
-
checkForbiddenSpreadArgument
-
storeTargetMethod
-
typeCheckClosureCall
protected void typeCheckClosureCall(Expression arguments, ClassNode[] argumentTypes, Parameter[] parameters) -
visitIfElse
- Specified by:
visitIfElsein interfaceGroovyCodeVisitor- Overrides:
visitIfElsein classClassCodeVisitorSupport
-
visitInstanceofNot
Deprecated. -
visitBlockStatement
Deprecated.- Specified by:
visitBlockStatementin interfaceGroovyCodeVisitor- Overrides:
visitBlockStatementin classClassCodeVisitorSupport
-
visitClosingBlock
Deprecated. -
findInstanceOfNotReturnExpression
Deprecated.Check IfStatement matched pattern : Object var1; if (!(var1 instanceOf Runnable)) { return } // Here var1 instance of RunnableReturn expression , which contains instanceOf (without not) Return null, if not found
-
findNotInstanceOfReturnExpression
Deprecated.Check IfStatement matched pattern : Object var1; if (var1 !instanceOf Runnable) { return } // Here var1 instance of RunnableReturn expression , which contains instanceOf (without not) Return null, if not found
-
visitSwitch
- Specified by:
visitSwitchin interfaceGroovyCodeVisitor- Overrides:
visitSwitchin classClassCodeVisitorSupport
-
afterSwitchConditionExpressionVisited
- Overrides:
afterSwitchConditionExpressionVisitedin classCodeVisitorSupport
-
visitCaseStatement
- Specified by:
visitCaseStatementin interfaceGroovyCodeVisitor- Overrides:
visitCaseStatementin classClassCodeVisitorSupport
-
pushAssignmentTracking
-
popAssignmentTracking
protected Map<VariableExpression,ClassNode> popAssignmentTracking(Map<VariableExpression, List<ClassNode>> oldTracker) -
visitArrayExpression
- Specified by:
visitArrayExpressionin interfaceGroovyCodeVisitor- Overrides:
visitArrayExpressionin classCodeVisitorSupport
-
visitCastExpression
- Specified by:
visitCastExpressionin interfaceGroovyCodeVisitor- Overrides:
visitCastExpressionin classCodeVisitorSupport
-
checkCast
-
visitTernaryExpression
- Specified by:
visitTernaryExpressionin interfaceGroovyCodeVisitor- Overrides:
visitTernaryExpressionin classCodeVisitorSupport
-
visitTryCatchFinally
- Specified by:
visitTryCatchFinallyin interfaceGroovyCodeVisitor- Overrides:
visitTryCatchFinallyin classClassCodeVisitorSupport
-
storeType
-
getResultType
-
getGroupOperationResultType
-
inferComponentType
-
findMethodOrFail
protected MethodNode findMethodOrFail(Expression expr, ClassNode receiver, String name, ClassNode... args) -
prettyPrintMethodList
-
areCategoryMethodCalls
protected boolean areCategoryMethodCalls(List<MethodNode> foundMethods, String name, ClassNode[] args) -
findMethodsWithGenerated
Returns methods defined for the specified receiver and adds "non-existing" methods that will be generated afterwards by the compiler; for example if a method is using default values and the class node is not compiled yet.- Parameters:
receiver- the type to search for methodsname- the name of the methods to return- Returns:
- the methods that are defined on the receiver completed with stubs for future methods
-
findMethod
-
extractPropertyNameFromMethodName
Given a method name and a prefix, returns the name of the property that should be looked up, following the java beans rules. For example, "getName" would return "name", while "getFullName" would return "fullName". If the prefix is not found, returns null.- Parameters:
prefix- the method name prefix ("get", "is", "set", ...)methodName- the method name- Returns:
- a property name if the prefix is found and the method matches the java beans rules, null otherwise
-
getType
-
storeInferredReturnType
Stores the inferred return type of a closure or method. We are using a separate key to store inferred return type because the inferred type of a closure isClosure, which is different from the inferred type of the code of the closure.- Parameters:
node- aClosureExpressionorMethodNodetype- the inferred return type of the code- Returns:
- The old value of the inferred type.
-
getInferredReturnType
Returns the inferred return type of a closure or method, if stored on the AST node. This method doesn't perform any type inference by itself.- Parameters:
node- aClosureExpressionorMethodNode- Returns:
- The expected return type.
-
isNullConstant
-
isThisExpression
-
isSuperExpression
-
inferListExpressionType
-
inferMapExpressionType
-
inferReturnTypeGenerics
protected ClassNode inferReturnTypeGenerics(ClassNode receiver, MethodNode method, Expression arguments) If a method call returns a parameterized type, then perform additional inference on the return type, so that the type gets actual type arguments. For example, the methodArrays.asList(T...)is parameterized withT, which can be deduced type arguments or call arguments.- Parameters:
method- the method nodearguments- the method call argumentsreceiver- the object expression type
-
inferReturnTypeGenerics
protected ClassNode inferReturnTypeGenerics(ClassNode receiver, MethodNode method, Expression arguments, GenericsType[] explicitTypeHints) If a method call returns a parameterized type, then perform additional inference on the return type, so that the type gets actual type arguments. For example, the methodArrays.asList(T...)is parameterized withT, which can be deduced type arguments or call arguments.- Parameters:
method- the method nodearguments- the method call argumentsreceiver- the object expression typeexplicitTypeHints- type arguments (optional), for exampleCollections.<String>emptyList()
-
typeCheckMethodsWithGenericsOrFail
protected boolean typeCheckMethodsWithGenericsOrFail(ClassNode receiver, ClassNode[] arguments, MethodNode candidateMethod, Expression location) -
formatArgumentList
-
addError
- Specified by:
addErrorin interfaceErrorCollecting- Overrides:
addErrorin classClassCodeVisitorSupport
-
addStaticTypeError
-
addNoMatchingMethodError
protected void addNoMatchingMethodError(ClassNode receiver, String name, ClassNode[] args, Expression exp) -
addNoMatchingMethodError
-
addAmbiguousErrorMessage
protected void addAmbiguousErrorMessage(List<MethodNode> foundMethods, String name, ClassNode[] args, Expression expr) -
addCategoryMethodCallError
-
addAssignmentError
-
addUnsupportedPreOrPostfixExpressionError
-
setMethodsToBeVisited
-
performSecondPass
public void performSecondPass() -
extractTypesFromParameters
-
wrapTypeIfNecessary
Returns a wrapped type if, and only if, the provided class node is a primitive type. This method differs fromClassHelper.getWrapper(org.codehaus.groovy.ast.ClassNode)as it will return the same instance if the provided type is not a generic type.- Returns:
- the wrapped type
-
isClassInnerClassOrEqualTo
-
pushInstanceOfTypeInfo
Stores information about types when [objectOfInstanceof instanceof typeExpression] is visited.- Parameters:
objectOfInstanceOf- the expression to be checked against instanceoftypeExpression- the expression which represents the target type
-
extractTemporaryTypeInfoKey
Computes the key to use forTypeCheckingContext.temporaryIfBranchTypeInformation. -
findCurrentInstanceOfClass
A helper method which determines which receiver class should be used in error messages when a field or attribute is not found. The returned type class depends on whether we have temporary type information available (due to instanceof checks) and whether there is a single candidate in that case.- Parameters:
expr- the expression for which an unknown field has been foundtype- the type of the expression (used as fallback type)- Returns:
- if temporary information is available and there's only one type, returns the temporary type class otherwise falls back to the provided type class.
-
getTemporaryTypesForExpression
-
DelegatesToinference.