public abstract class StaticTypeCheckingSupport extends Object
Support methods for StaticTypeCheckingVisitor.
Modifiers | Name | Description |
---|---|---|
static class |
StaticTypeCheckingSupport.BooleanArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.ByteArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.CharArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.DoubleArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.FloatArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.IntArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.LongArrayStaticTypesHelper |
|
static class |
StaticTypeCheckingSupport.ObjectArrayStaticTypesHelper |
A DGM-like class which adds support for method calls which are handled specifically by the Groovy compiler. |
static class |
StaticTypeCheckingSupport.ShortArrayStaticTypesHelper |
Type Params | Return Type | Name and description |
---|---|---|
|
public static int |
allParametersAndArgumentsMatch(Parameter[] parameters, ClassNode[] argumentTypes) Checks that arguments and parameter types match. |
|
public static boolean |
checkCompatibleAssignmentTypes(ClassNode left, ClassNode right) Returns true or false depending on whether the right classnode can be assigned to the left classnode. |
|
public static boolean |
checkCompatibleAssignmentTypes(ClassNode left, ClassNode right, Expression rightExpression) |
|
public static boolean |
checkCompatibleAssignmentTypes(ClassNode left, ClassNode right, Expression rightExpression, boolean allowConstructorCoercion) Everything that can be done by castToType should be allowed for assignment. |
|
public static List<MethodNode> |
chooseBestMethod(ClassNode receiver, Collection<MethodNode> methods, ClassNode argumentTypes) Returns the method(s) which best fit the argument types. |
|
public static void |
clearExtensionMethodCache() |
|
public static void |
clearExtensionMethodCache(ClassLoader loader) |
|
public static Set<ClassNode> |
collectAllInterfaces(ClassNode node) Collects all interfaces of a class node, including those defined by the super class. |
|
public static Object |
evaluateExpression(Expression expr, CompilerConfiguration config) A helper method that can be used to evaluate expressions as found in annotation parameters. |
|
public static List<MethodNode> |
filterMethodsByVisibility(List<MethodNode> methodNodeList, ClassNode enclosingClassNode) Filter methods according to visibility |
|
public static List<MethodNode> |
findDGMMethodsByNameAndArguments(ClassNode receiver, String name, ClassNode[] args)
|
|
public static List<MethodNode> |
findDGMMethodsByNameAndArguments(ClassLoader loader, ClassNode receiver, String name, ClassNode[] args) |
|
public static List<MethodNode> |
findDGMMethodsByNameAndArguments(ClassNode receiver, String name, ClassNode[] args, List<MethodNode> methods)
|
|
public static List<MethodNode> |
findDGMMethodsByNameAndArguments(ClassLoader loader, ClassNode receiver, String name, ClassNode[] args, List<MethodNode> methods) |
|
public static Set<MethodNode> |
findDGMMethodsForClassNode(ClassLoader loader, ClassNode clazz, String name) |
|
public static List<MethodNode> |
findSetters(ClassNode cn, String setterName, boolean voidOnly) |
|
public static ClassNode |
getCorrectedClassNode(ClassNode cn, ClassNode sc, boolean completed) |
|
public static boolean |
implementsInterfaceOrIsSubclassOf(ClassNode type, ClassNode superOrInterface) |
|
public static boolean |
isAssignableTo(ClassNode type, ClassNode toBeAssignedTo) Checks if a class node is assignable to another. |
|
public static boolean |
isAssignment(int op) |
|
public static boolean |
isBeingCompiled(ClassNode node) |
|
public static boolean |
isClassClassNodeWrappingConcreteType(ClassNode classNode) Returns true if the class node represents a the class node for the Class class and if the parametrized type is a neither a placeholder or a wildcard. |
|
public static boolean |
isCompareToBoolean(int op) |
|
public static boolean |
isGStringOrGStringStringLUB(ClassNode node)
|
|
public static boolean |
isParameterizedWithGStringOrGStringString(ClassNode node)
|
|
public static boolean |
isParameterizedWithString(ClassNode node)
|
|
public static ClassNode |
isTraitSelf(VariableExpression vexp) |
|
public static boolean |
isUnboundedWildcard(GenericsType gt) |
|
public static boolean |
isUsingGenericsOrIsArrayUsingGenerics(ClassNode cn) Returns true if a class makes use of generic types. |
|
public static boolean |
isUsingUncheckedGenerics(ClassNode node) Returns true if the provided class node, when considered as a receiver of a message or as a parameter, is using a placeholder in its generics type. |
|
public static boolean |
isWildcardLeftHandSide(ClassNode node) Tells if a class is one of the "accept all" classes as the left hand side of an assignment. |
|
public static boolean |
isWithCall(String name, Expression arguments) Called on method call checks in order to determine if a method call corresponds to the idiomatic o.with { ... } structure |
|
public static boolean |
missesGenericsTypes(ClassNode cn) Determines if node is a raw type or references any generics placeholders. |
|
public static Parameter[] |
parameterizeArguments(ClassNode receiver, MethodNode m) Given a receiver and a method node, parameterize the method arguments using available generic type information. |
|
public static ClassNode |
resolveClassNodeGenerics(Map<GenericsTypeName, GenericsType> resolvedPlaceholders, Map<GenericsTypeName, GenericsType> placeholdersFromContext, ClassNode currentType) |
Checks that arguments and parameter types match.
Returns true or false depending on whether the right classnode can be assigned to the left classnode. This method should not add errors by itself: we let the caller decide what to do if an incompatible assignment is found.
left
- the class to be assigned toright
- the assignee class Everything that can be done by castToType
should be allowed for assignment.
Returns the method(s) which best fit the argument types.
Collects all interfaces of a class node, including those defined by the super class.
node
- a class for which we want to retrieve all interfacesA helper method that can be used to evaluate expressions as found in annotation parameters. For example, it will evaluate a constant, be it referenced directly as an integer or as a reference to a field.
If this method throws an exception, then the expression cannot be evaluated on its own.
expr
- the expression to be evaluatedconfig
- the compiler configurationFilter methods according to visibility
methodNodeList
- method nodes to filterenclosingClassNode
- the enclosing classChecks if a class node is assignable to another. This is used for example in assignment checks where you want to verify that the assignment is valid.
Returns true if the class node represents a the class node for the Class class and if the parametrized type is a neither a placeholder or a wildcard. For example, the class node Class<Foo> where Foo is a class would return true, but the class node for Class<?> would return false.
classNode
- a class node to be tested
node
- the node to be tested
node
- the node to be testedReturns true if a class makes use of generic types. If node represents an array type, then checks if the component type is using generics.
cn
- a class node for which to check if it is using genericsReturns true if the provided class node, when considered as a receiver of a message or as a parameter, is using a placeholder in its generics type. In this case, we're facing unchecked generics and type checking is limited (ex: void foo(Set s) { s.keySet() }
node
- the node to testTells if a class is one of the "accept all" classes as the left hand side of an assignment.
node
- the classnode to testCalled on method call checks in order to determine if a method call corresponds to the idiomatic o.with { ... } structure
name
- name of the method calledarguments
- method call argumentsDetermines if node is a raw type or references any generics placeholders.
Given a receiver and a method node, parameterize the method arguments using available generic type information.
receiver
- the classm
- the method