gw.internal.gosu.parser

Class TypeLord

java.lang.Object

gw.internal.gosu.parser.TypeLord

public class TypeLord
extends Object

Constructor Summary

Constructors

Constructor and Description
TypeLord()

Method Summary

Modifier and Type	Method and Description
static void	addAllClassesInClassHierarchy(Class entityClass, Set<Class> set)
static void	addAllClassesInClassHierarchy(IType type, Set<IType> set)
static void	addAllClassesInClassHierarchy(IType type, Set<IType> set, boolean bForce)
static void	addNamespace(Set<String> namespaces, String strType)
static void	addReferencedTypeVarsThatAreNotInMap(IType type, TypeVarToTypeMap map)
static boolean	areGenericOrParameterizedTypesAssignable(IType to, IType from)
static IType	boundTypes(IType type, List<IType> typesToBound)
static IType	boundTypes(IType type, List<IType> typesToBound, boolean bKeepTypeVars)
static IType	deriveParameterizedTypeFromContext(IType type, IType contextType)
static boolean	encloses(IType type, IType inner)
static boolean	enclosingTypeInstanceInScope(IType type, IGosuClassInternal inner)
static IType	findGreatestLowerBound(IType t1, IType t2)
static IType	findLeastUpperBound(List<? extends IType> types)
static IType	findParameterizedStructureType(IType structureType, IType from)
static IType	findParameterizedType_Reverse(IType sourceType, IType targetType)
static IType	findParameterizedType(IType sourceType, IType rawGenericType) Finds a parameterized type in the ancestry of a given type.
static IType	findParameterizedType(IType sourceType, IType rawGenericType, boolean bForAssignability)
static IType	findParameterizedTypeInHierarchy(IType sourceType, IType rawGenericType)
static IType	getActualType(IAsmType type, TypeVarToTypeMap actualParamByVarName)
static IType	getActualType(IAsmType type, TypeVarToTypeMap actualParamByVarName, boolean bKeepTypeVars, LinkedHashSet<IAsmType> recursiveTypes)
static IType	getActualType(IType type, TypeVarToTypeMap actualParamByVarName)
static IType	getActualType(IType type, TypeVarToTypeMap actualParamByVarName, boolean bKeepTypeVars)
static IType	getActualType(IType type, TypeVarToTypeMap actualParamByVarName, boolean bKeepTypeVars, Set<IType> visited)
static IType	getActualType(Type type, TypeVarToTypeMap actualParamByVarName)
static IType	getActualType(Type type, TypeVarToTypeMap actualParamByVarName, boolean bKeepTypeVars)
static IType	getActualType(Type type, TypeVarToTypeMap actualParamByVarName, boolean bKeepTypeVars, LinkedHashSet<Type> recursiveTypes)
static Set<IType>	getAllClassesInClassHierarchyAsIntrinsicTypes(IJavaClassInfo cls)
static Set<IType>	getAllClassesInClassHierarchyAsIntrinsicTypes(IType type)
static Set<IType>	getArrayVersionsOfEachType(Set componentTypes)
static IType	getBoxedTypeFromPrimitiveType(IType primitiveType)
static IType	getConcreteType(IType type)
static IType	getCoreType(IType type)
static IType	getDefaultParameterizedType(IType type)
static IType	getDefaultParameterizedTypeWithTypeVars(IType type)
static IType	getDefaultParameterizedTypeWithTypeVars(IType type, TypeVarToTypeMap map)
static IType	getDefaultParameterizedTypeWithTypeVars(IType type, TypeVarToTypeMap map, Set<IType> visited)
static IType	getExpandableComponentType(IType type)
static IType	getExpandableComponentType(IType type, boolean bCore)
static IType	getLeastUpperBoundForPrimitiveTypes(IType t0, IType t1)
static String	getNameOfParams(IType[] paramTypes, boolean bRelative, boolean bWithEnclosingType)
static String	getNameOfParams(IType[] paramTypes, boolean bRelative, boolean bWithEnclosingType, boolean bIncludeModule)
static Set<String>	getNamespacesFromTypeNames(Set<? extends CharSequence> typeNames, Set<String> namespaces)
static String	getNameWithBoundQualifiedTypeVariables(IType type, boolean includeModules)
static String	getNameWithQualifiedTypeVariables(IType type, boolean includeModules)
static IJavaClassInfo	getOuterMostEnclosingClass(IJavaClassInfo innerClass)
static IType	getOuterMostEnclosingClass(IType innerClass)
static <E extends IType> E	getPureGenericType(E type)
static IType	getRootType(IType type)
static IType	getTopLevelType(IType type)
static List<ITypeVariableType>	getTypeVariables(IType type)
static boolean	getTypeVariables(IType type, java.util.function.Predicate<ITypeVariableType> cb)
static boolean	hasTypeVariable(IType type)
static void	inferTypeVariableTypesFromGenParamTypeAndConcreteType_Reverse(IType genParamType, IType argType, TypeVarToTypeMap inferenceMap)
static void	inferTypeVariableTypesFromGenParamTypeAndConcreteType(IType genParamType, IType argType, TypeVarToTypeMap inferenceMap)
static void	inferTypeVariableTypesFromGenParamTypeAndConcreteType(IType genParamType, IType argType, TypeVarToTypeMap inferenceMap, HashSet<ITypeVariableType> inferredInCallStack, boolean bReverse)
static boolean	isDelegatableInterface(IType declaringType, IType iface)
static boolean	isEvalProgram(IType type)
static boolean	isExpandable(IType type)
static boolean	isParameterizedType(IType type)
static boolean	isParameterizedWith(IType type, TypeVariableType typeVar)
static boolean	isRecursiveType(IJavaType javaType)
static boolean	isRecursiveType(IType declaringClass)
static boolean	isRecursiveType(ITypeVariableType subject, IType... types)
static boolean	isRecursiveTypeFromBase(IType rootType)
static boolean	isSubtype(IType subtype, IType supertype)
static IType	makeDefaultParameterizedType(IType type)
static IType	makeParameteredType(IType genType, TypeVarToTypeMap inferenceMap)
static TypeVarToTypeMap	mapTypeByVarName(IType ownersType, IType declaringType)
static IType	parseType(String strParameterizedTypeName, TypeVarToTypeMap actualParamByVarName)
static IType	parseType(String strParameterizedTypeName, TypeVarToTypeMap actualParamByVarName, ITypeUsesMap typeUsesMap)
static ITypeLiteralExpression	parseTypeLiteral(String strParameterizedTypeName, TypeVarToTypeMap actualParamByVarName, ITypeUsesMap typeUsesMap)
static IType	replaceRawGenericTypesWithDefaultParameterizedTypes(IType type)
static IType	replaceTypeVariableTypeParametersWithBoundingTypes(IType type)
static IType	replaceTypeVariableTypeParametersWithBoundingTypes(IType type, IType enclType)

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

TypeLord

public TypeLord()

Method Detail

getAllClassesInClassHierarchyAsIntrinsicTypes

public static Set<IType> getAllClassesInClassHierarchyAsIntrinsicTypes(IJavaClassInfo cls)

getAllClassesInClassHierarchyAsIntrinsicTypes

public static Set<IType> getAllClassesInClassHierarchyAsIntrinsicTypes(IType type)

encloses

public static boolean encloses(IType type,
                               IType inner)

enclosingTypeInstanceInScope

public static boolean enclosingTypeInstanceInScope(IType type,
                                                   IGosuClassInternal inner)

getArrayVersionsOfEachType

public static Set<IType> getArrayVersionsOfEachType(Set componentTypes)

getActualType

public static IType getActualType(Type type,
                                  TypeVarToTypeMap actualParamByVarName)

getActualType

public static IType getActualType(Type type,
                                  TypeVarToTypeMap actualParamByVarName,
                                  boolean bKeepTypeVars)

getActualType

public static IType getActualType(Type type,
                                  TypeVarToTypeMap actualParamByVarName,
                                  boolean bKeepTypeVars,
                                  LinkedHashSet<Type> recursiveTypes)

getActualType

public static IType getActualType(IAsmType type,
                                  TypeVarToTypeMap actualParamByVarName)

getActualType

public static IType getActualType(IAsmType type,
                                  TypeVarToTypeMap actualParamByVarName,
                                  boolean bKeepTypeVars,
                                  LinkedHashSet<IAsmType> recursiveTypes)

getActualType

public static IType getActualType(IType type,
                                  TypeVarToTypeMap actualParamByVarName)

getActualType

public static IType getActualType(IType type,
                                  TypeVarToTypeMap actualParamByVarName,
                                  boolean bKeepTypeVars)

getActualType

public static IType getActualType(IType type,
                                  TypeVarToTypeMap actualParamByVarName,
                                  boolean bKeepTypeVars,
                                  Set<IType> visited)

isParameterizedWith

public static boolean isParameterizedWith(IType type,
                                          TypeVariableType typeVar)

parseType

public static IType parseType(String strParameterizedTypeName,
                              TypeVarToTypeMap actualParamByVarName)

parseType

public static IType parseType(String strParameterizedTypeName,
                              TypeVarToTypeMap actualParamByVarName,
                              ITypeUsesMap typeUsesMap)

parseTypeLiteral

public static ITypeLiteralExpression parseTypeLiteral(String strParameterizedTypeName,
                                                      TypeVarToTypeMap actualParamByVarName,
                                                      ITypeUsesMap typeUsesMap)
                                               throws ParseResultsException

Throws:

ParseResultsException

mapTypeByVarName

public static TypeVarToTypeMap mapTypeByVarName(IType ownersType,
                                                IType declaringType)

makeParameteredType

public static IType makeParameteredType(IType genType,
                                        TypeVarToTypeMap inferenceMap)

getNameWithQualifiedTypeVariables

public static String getNameWithQualifiedTypeVariables(IType type,
                                                       boolean includeModules)

getNameWithBoundQualifiedTypeVariables

public static String getNameWithBoundQualifiedTypeVariables(IType type,
                                                            boolean includeModules)

getNameOfParams

public static String getNameOfParams(IType[] paramTypes,
                                     boolean bRelative,
                                     boolean bWithEnclosingType)

getNameOfParams

public static String getNameOfParams(IType[] paramTypes,
                                     boolean bRelative,
                                     boolean bWithEnclosingType,
                                     boolean bIncludeModule)

isDelegatableInterface

public static boolean isDelegatableInterface(IType declaringType,
                                             IType iface)

findParameterizedStructureType

public static IType findParameterizedStructureType(IType structureType,
                                                   IType from)

findParameterizedType

public static IType findParameterizedType(IType sourceType,
                                          IType rawGenericType)

Finds a parameterized type in the ancestry of a given type. For instance, given the type for ArrayList<Person> as the sourceType and List as the rawGenericType, returns List<Person>.

Parameters:

sourceType - The type to search in.

rawGenericType - The raw generic type of the parameterized type to search for e.g., List is the raw generic type of List<String>.

Returns:

A parameterization of rawGenericType corresponding with the type params of sourceType.

findParameterizedType

public static IType findParameterizedType(IType sourceType,
                                          IType rawGenericType,
                                          boolean bForAssignability)

findParameterizedType_Reverse

public static IType findParameterizedType_Reverse(IType sourceType,
                                                  IType targetType)

findParameterizedTypeInHierarchy

public static IType findParameterizedTypeInHierarchy(IType sourceType,
                                                     IType rawGenericType)

addAllClassesInClassHierarchy

public static void addAllClassesInClassHierarchy(Class entityClass,
                                                 Set<Class> set)

addAllClassesInClassHierarchy

public static void addAllClassesInClassHierarchy(IType type,
                                                 Set<IType> set)

addAllClassesInClassHierarchy

public static void addAllClassesInClassHierarchy(IType type,
                                                 Set<IType> set,
                                                 boolean bForce)

getPureGenericType

public static <E extends IType> E getPureGenericType(E type)

deriveParameterizedTypeFromContext

public static IType deriveParameterizedTypeFromContext(IType type,
                                                       IType contextType)

makeDefaultParameterizedType

public static IType makeDefaultParameterizedType(IType type)

replaceTypeVariableTypeParametersWithBoundingTypes

public static IType replaceTypeVariableTypeParametersWithBoundingTypes(IType type)

replaceTypeVariableTypeParametersWithBoundingTypes

public static IType replaceTypeVariableTypeParametersWithBoundingTypes(IType type,
                                                                       IType enclType)

replaceRawGenericTypesWithDefaultParameterizedTypes

public static IType replaceRawGenericTypesWithDefaultParameterizedTypes(IType type)

getDefaultParameterizedType

public static IType getDefaultParameterizedType(IType type)

getDefaultParameterizedTypeWithTypeVars

public static IType getDefaultParameterizedTypeWithTypeVars(IType type)

getDefaultParameterizedTypeWithTypeVars

public static IType getDefaultParameterizedTypeWithTypeVars(IType type,
                                                            TypeVarToTypeMap map)

getDefaultParameterizedTypeWithTypeVars

public static IType getDefaultParameterizedTypeWithTypeVars(IType type,
                                                            TypeVarToTypeMap map,
                                                            Set<IType> visited)

isRecursiveTypeFromBase

public static boolean isRecursiveTypeFromBase(IType rootType)

isRecursiveType

public static boolean isRecursiveType(IType declaringClass)

isSubtype

public static boolean isSubtype(IType subtype,
                                IType supertype)

areGenericOrParameterizedTypesAssignable

public static boolean areGenericOrParameterizedTypesAssignable(IType to,
                                                               IType from)

getNamespacesFromTypeNames

public static Set<String> getNamespacesFromTypeNames(Set<? extends CharSequence> typeNames,
                                                     Set<String> namespaces)

addNamespace

public static void addNamespace(Set<String> namespaces,
                                String strType)

getRootType

public static IType getRootType(IType type)

findGreatestLowerBound

public static IType findGreatestLowerBound(IType t1,
                                           IType t2)

findLeastUpperBound

public static IType findLeastUpperBound(List<? extends IType> types)

getLeastUpperBoundForPrimitiveTypes

public static IType getLeastUpperBoundForPrimitiveTypes(IType t0,
                                                        IType t1)

isRecursiveType

public static boolean isRecursiveType(IJavaType javaType)

isRecursiveType

public static boolean isRecursiveType(ITypeVariableType subject,
                                      IType... types)

getOuterMostEnclosingClass

public static IJavaClassInfo getOuterMostEnclosingClass(IJavaClassInfo innerClass)

getOuterMostEnclosingClass

public static IType getOuterMostEnclosingClass(IType innerClass)

isParameterizedType

public static boolean isParameterizedType(IType type)

isEvalProgram

public static boolean isEvalProgram(IType type)

addReferencedTypeVarsThatAreNotInMap

public static void addReferencedTypeVarsThatAreNotInMap(IType type,
                                                        TypeVarToTypeMap map)

hasTypeVariable

public static boolean hasTypeVariable(IType type)

getTypeVariables

public static List<ITypeVariableType> getTypeVariables(IType type)

getTypeVariables

public static boolean getTypeVariables(IType type,
                                       java.util.function.Predicate<ITypeVariableType> cb)

isExpandable

public static boolean isExpandable(IType type)

getExpandableComponentType

public static IType getExpandableComponentType(IType type)

getExpandableComponentType

public static IType getExpandableComponentType(IType type,
                                               boolean bCore)

inferTypeVariableTypesFromGenParamTypeAndConcreteType

public static void inferTypeVariableTypesFromGenParamTypeAndConcreteType(IType genParamType,
                                                                         IType argType,
                                                                         TypeVarToTypeMap inferenceMap)

inferTypeVariableTypesFromGenParamTypeAndConcreteType_Reverse

public static void inferTypeVariableTypesFromGenParamTypeAndConcreteType_Reverse(IType genParamType,
                                                                                 IType argType,
                                                                                 TypeVarToTypeMap inferenceMap)

inferTypeVariableTypesFromGenParamTypeAndConcreteType

public static void inferTypeVariableTypesFromGenParamTypeAndConcreteType(IType genParamType,
                                                                         IType argType,
                                                                         TypeVarToTypeMap inferenceMap,
                                                                         HashSet<ITypeVariableType> inferredInCallStack,
                                                                         boolean bReverse)

getConcreteType

public static IType getConcreteType(IType type)

getCoreType

public static IType getCoreType(IType type)

getBoxedTypeFromPrimitiveType

public static IType getBoxedTypeFromPrimitiveType(IType primitiveType)

boundTypes

public static IType boundTypes(IType type,
                               List<IType> typesToBound)

boundTypes

public static IType boundTypes(IType type,
                               List<IType> typesToBound,
                               boolean bKeepTypeVars)

getTopLevelType

public static IType getTopLevelType(IType type)