Uses of Interface
com.github.javaparser.resolution.types.ResolvedType

Packages that use ResolvedType

Package	Description
com.github.javaparser.ast.expr
com.github.javaparser.ast.type
com.github.javaparser.resolution
com.github.javaparser.resolution.declarations
com.github.javaparser.resolution.logic
com.github.javaparser.resolution.model
com.github.javaparser.resolution.model.typesystem
com.github.javaparser.resolution.promotion
com.github.javaparser.resolution.types
com.github.javaparser.resolution.types.parametrization
com.github.javaparser.symbolsolver
com.github.javaparser.symbolsolver.core.resolution
com.github.javaparser.symbolsolver.declarations.common
com.github.javaparser.symbolsolver.javaparsermodel	Implementation of model based on JavaParser.
com.github.javaparser.symbolsolver.javaparsermodel.contexts
com.github.javaparser.symbolsolver.javaparsermodel.declarations
com.github.javaparser.symbolsolver.javassistmodel	Implementation of model based on Javassist.
com.github.javaparser.symbolsolver.reflectionmodel	Implementation of model based on reflection.
com.github.javaparser.symbolsolver.resolution
com.github.javaparser.symbolsolver.resolution.promotion
com.github.javaparser.symbolsolver.resolution.typeinference
com.github.javaparser.symbolsolver.resolution.typeinference.bounds
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Uses of ResolvedType in com.github.javaparser.ast.expr

Methods in com.github.javaparser.ast.expr that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	Expression.calculateResolvedType()	returns the type associated with the node.

Uses of ResolvedType in com.github.javaparser.ast.type

Classes in com.github.javaparser.ast.type that implement interfaces with type arguments of type ResolvedType

Modifier and Type	Class	Description
class	Type	Base class for types.

Methods in com.github.javaparser.ast.type that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	ArrayType.convertToUsage(Context context)
ResolvedType	ClassOrInterfaceType.convertToUsage(Context context)	Convert a ClassOrInterfaceType into a ResolvedType.
ResolvedType	ConvertibleToUsage.convertToUsage(Context context)
ResolvedType	IntersectionType.convertToUsage(Context context)
ResolvedType	PrimitiveType.convertToUsage(Context context)
ResolvedType	TypeParameter.convertToUsage(Context context)
ResolvedType	UnionType.convertToUsage(Context context)
ResolvedType	UnknownType.convertToUsage(Context context)	A UnknownType cannot be convertible to ResolvedType.
ResolvedType	VarType.convertToUsage(Context context)
ResolvedType	VoidType.convertToUsage(Context context)
ResolvedType	WildcardType.convertToUsage(Context context)	Convert a WildcardType into a ResolvedType.
ResolvedType	ClassOrInterfaceType.resolve()
abstract ResolvedType	Type.resolve()
ResolvedType	UnknownType.resolve()
ResolvedType	VarType.resolve()

Uses of ResolvedType in com.github.javaparser.resolution

Methods in com.github.javaparser.resolution that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	SymbolResolver.calculateType(Expression expression)	For an expression it would find the corresponding resolved type.
ResolvedType	Solver.classToResolvedType(Class<?> clazz)	Convert a Class into the corresponding ResolvedType.
ResolvedType	MethodUsage.getParamType(int i)	Return the type of the formal argument at the given position.
ResolvedType	MethodUsage.returnType()
ResolvedType	Solver.solveTypeUsage(String name, Context context)

Methods in com.github.javaparser.resolution that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
List<ResolvedType>	MethodUsage.exceptionTypes()
List<ResolvedType>	MethodUsage.getParamTypes()
default Optional<ResolvedType>	Context.solveGenericType(String name)	Default to no generics available in this context, delegating solving to the parent context.
default Optional<ResolvedType>	Context.solveGenericTypeInParentContext(String name)

Methods in com.github.javaparser.resolution with parameters of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	MethodUsage.replaceExceptionType(int i, ResolvedType replaced)
MethodUsage	MethodUsage.replaceParamType(int i, ResolvedType replaced)
MethodUsage	MethodUsage.replaceReturnType(ResolvedType returnType)
MethodUsage	MethodUsage.replaceTypeParameter(ResolvedTypeParameterDeclaration typeParameter, ResolvedType type)

Method parameters in com.github.javaparser.resolution with type arguments of type ResolvedType

Modifier and Type	Method	Description
default SymbolReference<ResolvedConstructorDeclaration>	Context.solveConstructor(List<ResolvedType> argumentsTypes)	We find the method declaration which is the best match for the given name and list of typeParametersValues.
default SymbolReference<ResolvedMethodDeclaration>	Context.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	We find the method declaration which is the best match for the given name and list of typeParametersValues.
MethodUsage	Solver.solveMethod(String methodName, List<ResolvedType> argumentsTypes, Node node)
MethodUsage	Solver.solveMethod(String methodName, List<ResolvedType> argumentsTypes, Context context)
Optional<MethodUsage>	Context.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes)	Similar to solveMethod but we return a MethodUsage.
default SymbolReference<ResolvedMethodDeclaration>	Context.solveMethodInParentContext(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
default SymbolReference<ResolvedTypeDeclaration>	Context.solveType(String name, List<ResolvedType> typeArguments)	Method used to solve a name with an expected list of type arguments.
default SymbolReference<ResolvedTypeDeclaration>	Context.solveTypeInParentContext(String name, List<ResolvedType> typeArguments)	Solve a name with type arguments in the parent context.

Constructors in com.github.javaparser.resolution with parameters of type ResolvedType

Modifier	Constructor	Description
	MethodUsage(ResolvedMethodDeclaration declaration, List<ResolvedType> paramTypes, ResolvedType returnType)
	MethodUsage(ResolvedMethodDeclaration declaration, List<ResolvedType> paramTypes, ResolvedType returnType, List<ResolvedType> exceptionTypes)

Constructor parameters in com.github.javaparser.resolution with type arguments of type ResolvedType

Modifier	Constructor	Description
	MethodUsage(ResolvedMethodDeclaration declaration, List<ResolvedType> paramTypes, ResolvedType returnType)
	MethodUsage(ResolvedMethodDeclaration declaration, List<ResolvedType> paramTypes, ResolvedType returnType, List<ResolvedType> exceptionTypes)

Uses of ResolvedType in com.github.javaparser.resolution.declarations

Methods in com.github.javaparser.resolution.declarations that return ResolvedType

Modifier and Type	Method	Description
default ResolvedType	ResolvedTypeParameterDeclaration.getLowerBound()	Get the type used as lower bound.
ResolvedType	ResolvedMethodDeclaration.getReturnType()	The type of the value returned by the current method.
ResolvedType	ResolvedMethodLikeDeclaration.getSpecifiedException(int index)	Type of the corresponding entry in the throws clause.
ResolvedType	ResolvedTypeParameterDeclaration.Bound.getType()	Get the type used in the Bound.
ResolvedType	ResolvedValueDeclaration.getType()	Type of the declaration.
default ResolvedType	ResolvedTypeParameterDeclaration.getUpperBound()	Get the type used as upper bound.

Methods in com.github.javaparser.resolution.declarations that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
default List<ResolvedType>	ResolvedMethodLikeDeclaration.formalParameterTypes()
default List<ResolvedType>	ResolvedMethodLikeDeclaration.getSpecifiedExceptions()

Methods in com.github.javaparser.resolution.declarations with parameters of type ResolvedType

Modifier and Type	Method	Description
static ResolvedTypeParameterDeclaration.Bound	ResolvedTypeParameterDeclaration.Bound.extendsBound(ResolvedType type)	Create an extends bound with the given type:
boolean	ResolvedReferenceTypeDeclaration.isAssignableBy(ResolvedType type)	Can we assign instances of the given type to variables having the type defined by this declaration?
default boolean	ResolvedMethodDeclaration.isReturnTypeSubstituable(ResolvedType otherResolvedType)
static ResolvedTypeParameterDeclaration.Bound	ResolvedTypeParameterDeclaration.Bound.superBound(ResolvedType type)	Create a super bound with the given type:

Uses of ResolvedType in com.github.javaparser.resolution.logic

Classes in com.github.javaparser.resolution.logic that implement ResolvedType

Modifier and Type	Class	Description
class	InferenceVariableType	An element using during type inference.

Methods in com.github.javaparser.resolution.logic that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	InferenceContext.addPair(ResolvedType target, ResolvedType actual)
ResolvedType	InferenceContext.addSingle(ResolvedType actual)
ResolvedType	InferenceVariableType.equivalentType()
static ResolvedType	MethodResolutionLogic.replaceTypeParam(ResolvedType type, ResolvedTypeParameterDeclaration tp, TypeSolver typeSolver)
ResolvedType	InferenceContext.resolve(ResolvedType type)

Methods in com.github.javaparser.resolution.logic with parameters of type ResolvedType

Modifier and Type	Method	Description
ResolvedType	InferenceContext.addPair(ResolvedType target, ResolvedType actual)
ResolvedType	InferenceContext.addSingle(ResolvedType actual)
static Optional<MethodUsage>	FunctionalInterfaceLogic.getFunctionalMethod(ResolvedType type)	Get the functional method defined by the type, if any.
static void	MethodResolutionLogic.inferTypes(ResolvedType source, ResolvedType target, Map<ResolvedTypeParameterDeclaration, ResolvedType> mappings)
boolean	InferenceVariableType.isAssignableBy(ResolvedType other)
static boolean	MethodResolutionLogic.isAssignableMatchTypeParameters(ResolvedType expected, ResolvedType actual, Map<String, ResolvedType> matchedParameters)
static boolean	FunctionalInterfaceLogic.isFunctionalInterfaceType(ResolvedType type)
void	InferenceVariableType.registerEquivalentType(ResolvedType type)
static ResolvedType	MethodResolutionLogic.replaceTypeParam(ResolvedType type, ResolvedTypeParameterDeclaration tp, TypeSolver typeSolver)
ResolvedType	InferenceContext.resolve(ResolvedType type)

Method parameters in com.github.javaparser.resolution.logic with type arguments of type ResolvedType

Modifier and Type	Method	Description
static void	MethodResolutionLogic.inferTypes(ResolvedType source, ResolvedType target, Map<ResolvedTypeParameterDeclaration, ResolvedType> mappings)
static boolean	ConstructorResolutionLogic.isApplicable(ResolvedConstructorDeclaration constructor, List<ResolvedType> argumentsTypes, TypeSolver typeSolver)
static boolean	MethodResolutionLogic.isApplicable(ResolvedMethodDeclaration method, String name, List<ResolvedType> argumentsTypes, TypeSolver typeSolver)
static boolean	MethodResolutionLogic.isApplicable(MethodUsage methodUsage, String needleName, List<ResolvedType> needleParameterTypes, TypeSolver typeSolver)	Note the specific naming here -- parameters are part of the method declaration, while arguments are the values passed when calling a method.
static boolean	MethodResolutionLogic.isAssignableMatchTypeParameters(ResolvedReferenceType expected, ResolvedReferenceType actual, Map<String, ResolvedType> matchedParameters)
static boolean	MethodResolutionLogic.isAssignableMatchTypeParameters(ResolvedType expected, ResolvedType actual, Map<String, ResolvedType> matchedParameters)
protected static boolean	MethodResolutionLogic.isExactMatch(ResolvedMethodLikeDeclaration method, List<ResolvedType> argumentsTypes)
SymbolReference<ResolvedMethodDeclaration>	MethodResolutionCapability.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
static SymbolReference<ResolvedMethodDeclaration>	MethodResolutionLogic.solveMethodInType(ResolvedTypeDeclaration typeDeclaration, String name, List<ResolvedType> argumentsTypes)
static SymbolReference<ResolvedMethodDeclaration>	MethodResolutionLogic.solveMethodInType(ResolvedTypeDeclaration typeDeclaration, String name, List<ResolvedType> argumentsTypes, boolean staticOnly)

Constructors in com.github.javaparser.resolution.logic with parameters of type ResolvedType

Modifier	Constructor	Description
	ConflictingGenericTypesException(ResolvedType formalType, ResolvedType actualType)

Uses of ResolvedType in com.github.javaparser.resolution.model

Classes in com.github.javaparser.resolution.model that implement ResolvedType

Modifier and Type	Class	Description
class	LambdaArgumentTypePlaceholder	Placeholder used to represent a lambda argument type while it is being calculated.

Methods in com.github.javaparser.resolution.model that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	Value.getType()

Methods in com.github.javaparser.resolution.model with parameters of type ResolvedType

Modifier and Type	Method	Description
boolean	LambdaArgumentTypePlaceholder.isAssignableBy(ResolvedType other)

Constructors in com.github.javaparser.resolution.model with parameters of type ResolvedType

Modifier	Constructor	Description
	Value(ResolvedType type, String name)

Uses of ResolvedType in com.github.javaparser.resolution.model.typesystem

Classes in com.github.javaparser.resolution.model.typesystem that implement ResolvedType

Modifier and Type	Class	Description
class	LazyType
class	NullType	This is a virtual type used to represent null values.
class	ReferenceTypeImpl

Methods in com.github.javaparser.resolution.model.typesystem that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	LazyType.getType()
ResolvedType	LazyType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)
ResolvedType	LazyType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ReferenceTypeImpl.toRawType()
ResolvedType	ReferenceTypeImpl.transformTypeParameters(ResolvedTypeTransformer transformer)	Execute a transformation on all the type parameters of this element.

Methods in com.github.javaparser.resolution.model.typesystem with parameters of type ResolvedType

Modifier and Type	Method	Description
boolean	LazyType.isAssignableBy(ResolvedType other)
boolean	NullType.isAssignableBy(ResolvedType other)
boolean	ReferenceTypeImpl.isAssignableBy(ResolvedType other)	This method checks if ThisType t = new OtherType() would compile.
ResolvedType	LazyType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)
ResolvedType	LazyType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)

Method parameters in com.github.javaparser.resolution.model.typesystem with type arguments of type ResolvedType

Modifier and Type	Method	Description
protected ResolvedReferenceType	ReferenceTypeImpl.create(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeParametersCorrected)
ResolvedType	LazyType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)

Constructor parameters in com.github.javaparser.resolution.model.typesystem with type arguments of type ResolvedType

Modifier	Constructor	Description
	LazyType(Function<Void, ResolvedType> provider)
	ReferenceTypeImpl(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeArguments)

Uses of ResolvedType in com.github.javaparser.resolution.promotion

Methods in com.github.javaparser.resolution.promotion that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	ConditionalExprHandler.resolveType()

Uses of ResolvedType in com.github.javaparser.resolution.types

Classes in com.github.javaparser.resolution.types that implement ResolvedType

Modifier and Type	Class	Description
class	ResolvedArrayType	Array Type.
class	ResolvedIntersectionType	An intersection type is defined in java as list of types separates by ampersands.
class	ResolvedLambdaConstraintType
enum	ResolvedPrimitiveType
class	ResolvedReferenceType	A ReferenceType like a class, an interface or an enum.
class	ResolvedTypeVariable	From JLS 4.4: A type variable is introduced by the declaration of a type parameter of a generic class, interface, method, or constructor (§8.1.2, §9.1.2, §8.4.4, §8.8.4).
class	ResolvedUnionType	A union type is defined in java as list of types separates by pipes.
class	ResolvedVoidType	The special type void.
class	ResolvedWildcard	A wildcard can be: - unbounded (?)

Fields in com.github.javaparser.resolution.types declared as ResolvedType

Modifier and Type	Field	Description
static final ResolvedType	ResolvedVoidType.INSTANCE

Methods in com.github.javaparser.resolution.types that return ResolvedType

Modifier and Type	Method	Description
static ResolvedType	ResolvedPrimitiveType.byName(String name)
ResolvedType	ResolvedArrayType.erasure()
ResolvedType	ResolvedReferenceType.erasure()
default ResolvedType	ResolvedType.erasure()
ResolvedType	ResolvedTypeVariable.erasure()
ResolvedType	ResolvedWildcard.erasure()
ResolvedType	ResolvedLambdaConstraintType.getBound()
ResolvedType	ResolvedWildcard.getBoundedType()
ResolvedType	ResolvedArrayType.getComponentType()
ResolvedType	ResolvedArrayType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedIntersectionType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedReferenceType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
default ResolvedType	ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)	This is like (ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration, ResolvedType, Map) but ignores the inferred values.
default ResolvedType	ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)	Replace all variables referring to the given TypeParameter with the given value.
ResolvedType	ResolvedTypeVariable.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToBeReplaced, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedWildcard.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
default ResolvedType	ResolvedType.solveGenericTypes(Context context)
ResolvedType	ResolvedTypeVariable.solveGenericTypes(Context context)
ResolvedType	ResolvedWildcard.solveGenericTypes(Context context)
abstract ResolvedType	ResolvedReferenceType.toRawType()
ResolvedType	ResolvedTypeTransformer.transform(ResolvedType type)
abstract ResolvedType	ResolvedReferenceType.transformTypeParameters(ResolvedTypeTransformer transformer)	Execute a transformation on all the type parameters of this element.
static ResolvedType	ResolvedPrimitiveType.unp(ResolvedType type)

Methods in com.github.javaparser.resolution.types that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
static Optional<ResolvedType>	ResolvedPrimitiveType.byBoxTypeQName(String qName)
List<ResolvedType>	ResolvedIntersectionType.getElements()
List<ResolvedType>	ResolvedUnionType.getElements()
Optional<ResolvedType>	ResolvedReferenceType.getFieldType(String name)	The type of the field could be different from the one in the corresponding FieldDeclaration because type variables would be solved.
Optional<ResolvedType>	ResolvedReferenceType.getGenericParameterByName(String name)	Get the type associated with the type parameter with the given name.
List<Pair<ResolvedTypeParameterDeclaration, ResolvedType>>	ResolvedReferenceType.getTypeParametersMap()	Get the values for all type parameters declared on this type.
List<ResolvedType>	ResolvedReferenceType.typeParametersValues()	Get the values for all type parameters declared on this type.
Optional<ResolvedType>	ResolvedReferenceType.typeParamValue(ResolvedTypeParameterDeclaration typeParameterDeclaration)

Methods in com.github.javaparser.resolution.types with parameters of type ResolvedType

Modifier and Type	Method	Description
static ResolvedLambdaConstraintType	ResolvedLambdaConstraintType.bound(ResolvedType bound)
static ResolvedWildcard	ResolvedWildcard.extendsBound(ResolvedType type)
boolean	ResolvedArrayType.isAssignableBy(ResolvedType other)
boolean	ResolvedIntersectionType.isAssignableBy(ResolvedType other)
boolean	ResolvedLambdaConstraintType.isAssignableBy(ResolvedType other)
boolean	ResolvedPrimitiveType.isAssignableBy(ResolvedType other)
abstract boolean	ResolvedReferenceType.isAssignableBy(ResolvedType other)	This method checks if ThisType t = new OtherType() would compile.
boolean	ResolvedType.isAssignableBy(ResolvedType other)	This method checks if ThisType t = new OtherType() would compile.
boolean	ResolvedTypeVariable.isAssignableBy(ResolvedType other)
boolean	ResolvedUnionType.isAssignableBy(ResolvedType other)
boolean	ResolvedVoidType.isAssignableBy(ResolvedType other)
boolean	ResolvedWildcard.isAssignableBy(ResolvedType other)
static boolean	ResolvedPrimitiveType.isBoxType(ResolvedType type)
ResolvedType	ResolvedArrayType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedIntersectionType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedReferenceType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
default ResolvedType	ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced)	This is like (ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration, ResolvedType, Map) but ignores the inferred values.
default ResolvedType	ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)	Replace all variables referring to the given TypeParameter with the given value.
ResolvedType	ResolvedTypeVariable.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToBeReplaced, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedWildcard.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
static ResolvedWildcard	ResolvedWildcard.superBound(ResolvedType type)
ResolvedType	ResolvedTypeTransformer.transform(ResolvedType type)
static ResolvedType	ResolvedPrimitiveType.unp(ResolvedType type)

Method parameters in com.github.javaparser.resolution.types with type arguments of type ResolvedType

Modifier and Type	Method	Description
protected abstract ResolvedReferenceType	ResolvedReferenceType.create(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeParameters)
ResolvedType	ResolvedArrayType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedIntersectionType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedReferenceType.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
default ResolvedType	ResolvedType.replaceTypeVariables(ResolvedTypeParameterDeclaration tp, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)	Replace all variables referring to the given TypeParameter with the given value.
ResolvedType	ResolvedTypeVariable.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToBeReplaced, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)
ResolvedType	ResolvedWildcard.replaceTypeVariables(ResolvedTypeParameterDeclaration tpToReplace, ResolvedType replaced, Map<ResolvedTypeParameterDeclaration, ResolvedType> inferredTypes)

Constructors in com.github.javaparser.resolution.types with parameters of type ResolvedType

Modifier	Constructor	Description
	ResolvedArrayType(ResolvedType baseType)

Constructor parameters in com.github.javaparser.resolution.types with type arguments of type ResolvedType

Modifier	Constructor	Description
	ResolvedIntersectionType(Collection<ResolvedType> elements)
	ResolvedReferenceType(ResolvedReferenceTypeDeclaration typeDeclaration, List<ResolvedType> typeArguments)
	ResolvedUnionType(List<ResolvedType> elements)

Uses of ResolvedType in com.github.javaparser.resolution.types.parametrization

Methods in com.github.javaparser.resolution.types.parametrization that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	ResolvedTypeParametersMap.getValue(ResolvedTypeParameterDeclaration typeParameter)
ResolvedType	ResolvedTypeParametersMap.replaceAll(ResolvedType type)
default ResolvedType	ResolvedTypeParameterValueProvider.useThisTypeParametersOnTheGivenType(ResolvedType type)	Replace the type typeParametersValues present in the given type with the ones for which this type has a value.

Methods in com.github.javaparser.resolution.types.parametrization that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
Optional<ResolvedType>	ResolvedTypeParameterValueProvider.getGenericParameterByName(String name)
List<ResolvedType>	ResolvedTypeParametersMap.getTypes()
Optional<ResolvedType>	ResolvedTypeParametersMap.getValueBySignature(String signature)
Optional<ResolvedType>	ResolvedTypeParameterValueProvider.typeParamValue(ResolvedTypeParameterDeclaration typeParameterDeclaration)	Calculate the value for the given type parameter.

Methods in com.github.javaparser.resolution.types.parametrization with parameters of type ResolvedType

Modifier and Type	Method	Description
ResolvedType	ResolvedTypeParametersMap.replaceAll(ResolvedType type)
ResolvedTypeParametersMap.Builder	ResolvedTypeParametersMap.Builder.setValue(ResolvedTypeParameterDeclaration typeParameter, ResolvedType value)
default ResolvedType	ResolvedTypeParameterValueProvider.useThisTypeParametersOnTheGivenType(ResolvedType type)	Replace the type typeParametersValues present in the given type with the ones for which this type has a value.

Uses of ResolvedType in com.github.javaparser.symbolsolver

Methods in com.github.javaparser.symbolsolver that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	JavaSymbolSolver.calculateType(Expression expression)

Uses of ResolvedType in com.github.javaparser.symbolsolver.core.resolution

Method parameters in com.github.javaparser.symbolsolver.core.resolution with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	TypeVariableResolutionCapability.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
Optional<MethodUsage>	MethodUsageResolutionCapability.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invocationContext, List<ResolvedType> typeParameters)

Uses of ResolvedType in com.github.javaparser.symbolsolver.declarations.common

Methods in com.github.javaparser.symbolsolver.declarations.common that return ResolvedType

Modifier and Type	Method	Description
protected ResolvedType	MethodDeclarationCommonLogic.toType(ResolvedTypeParameterDeclaration typeParameterDeclaration)

Methods in com.github.javaparser.symbolsolver.declarations.common that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
protected Optional<ResolvedType>	MethodDeclarationCommonLogic.typeParamByName(String name, Context context)

Method parameters in com.github.javaparser.symbolsolver.declarations.common with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	MethodDeclarationCommonLogic.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)

Uses of ResolvedType in com.github.javaparser.symbolsolver.javaparsermodel

Classes in com.github.javaparser.symbolsolver.javaparsermodel that implement interfaces with type arguments of type ResolvedType

Modifier and Type	Class	Description
class	DefaultVisitorAdapter

Methods in com.github.javaparser.symbolsolver.javaparsermodel that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	JavaParserFacade.classToResolvedType(Class<?> clazz)	Deprecated. instead consider SymbolSolver.classToResolvedType(Classinvalid input: '<'?
ResolvedType	JavaParserFacade.convert(Type type, Node node)
ResolvedType	JavaParserFacade.convert(Type type, Context context)
ResolvedType	JavaParserFacade.convertToUsage(Type type)	Convert a Type into the corresponding ResolvedType.
protected ResolvedType	JavaParserFacade.convertToUsage(Type type, Context context)	Convert a Type into the corresponding ResolvedType.
protected ResolvedType	JavaParserFacade.getBinaryTypeConcrete(Node left, Node right, boolean solveLambdas, BinaryExpr.Operator operator)
ResolvedType	JavaParserFacade.getType(Node node)	Get the type associated with the node.
ResolvedType	JavaParserFacade.getType(Node node, boolean solveLambdas)
ResolvedType	JavaParserFacade.getTypeOfThisIn(Node node)	"this" inserted in the given point, which type would have?
ResolvedType	DefaultVisitorAdapter.visit(ArrayCreationLevel node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(AnnotationDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(AnnotationMemberDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ClassOrInterfaceDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(CompactConstructorDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ConstructorDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(EnumConstantDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(EnumDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(FieldDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(InitializerDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(MethodDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(Parameter node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ReceiverParameter node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(RecordDeclaration node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(VariableDeclarator node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(BlockComment node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(JavadocComment node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LineComment node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(CompilationUnit node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ArrayAccessExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ArrayCreationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ArrayInitializerExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(AssignExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(BinaryExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(BooleanLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(CastExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(CharLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ClassExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ConditionalExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(DoubleLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(EnclosedExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(FieldAccessExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(InstanceOfExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(IntegerLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LambdaExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LongLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(MarkerAnnotationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(MemberValuePair node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(MethodCallExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(MethodReferenceExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(NameExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(Name node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(NormalAnnotationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(NullLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ObjectCreationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(RecordPatternExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SimpleName node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SingleMemberAnnotationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(StringLiteralExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SuperExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SwitchExpr node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(TextBlockLiteralExpr node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ThisExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(TypeExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(TypePatternExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(UnaryExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(VariableDeclarationExpr node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ImportDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(Modifier node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleDeclaration node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleExportsDirective node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleOpensDirective node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleProvidesDirective node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleRequiresDirective node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ModuleUsesDirective node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(NodeList node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(PackageDeclaration node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(AssertStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(BlockStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(BreakStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(CatchClause node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ContinueStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(DoStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(EmptyStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ExplicitConstructorInvocationStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ExpressionStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ForEachStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ForStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(IfStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LabeledStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LocalClassDeclarationStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(LocalRecordDeclarationStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ReturnStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SwitchEntry node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SwitchStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(SynchronizedStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ThrowStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(TryStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(UnparsableStmt node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(WhileStmt node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(YieldStmt node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(ArrayType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(ClassOrInterfaceType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(IntersectionType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(PrimitiveType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(TypeParameter node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(UnionType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(UnknownType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(VarType node, Boolean arg)
ResolvedType	DefaultVisitorAdapter.visit(VoidType node, Boolean aBoolean)
ResolvedType	DefaultVisitorAdapter.visit(WildcardType node, Boolean aBoolean)
ResolvedType	TypeExtractor.visit(FieldDeclaration node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(Parameter node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(VariableDeclarator node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ArrayAccessExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ArrayCreationExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ArrayInitializerExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(AssignExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(BinaryExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(BooleanLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(CastExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(CharLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ClassExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ConditionalExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(DoubleLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(EnclosedExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(FieldAccessExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(InstanceOfExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(IntegerLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(LambdaExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(LongLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(MethodCallExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(MethodReferenceExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(NameExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(NullLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ObjectCreationExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(StringLiteralExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(SuperExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(ThisExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(TypeExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(UnaryExpr node, Boolean solveLambdas)
ResolvedType	TypeExtractor.visit(VariableDeclarationExpr node, Boolean solveLambdas)

Method parameters in com.github.javaparser.symbolsolver.javaparsermodel with type arguments of type ResolvedType

Modifier and Type	Method	Description
protected MethodUsage	JavaParserFacade.toMethodUsage(MethodReferenceExpr methodReferenceExpr, List<ResolvedType> paramTypes)

Uses of ResolvedType in com.github.javaparser.symbolsolver.javaparsermodel.contexts

Methods in com.github.javaparser.symbolsolver.javaparsermodel.contexts that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
final Optional<ResolvedType>	AbstractMethodLikeDeclarationContext.solveGenericType(String name)
Optional<ResolvedType>	ClassOrInterfaceDeclarationContext.solveGenericType(String name)
Optional<ResolvedType>	MethodCallExprContext.solveGenericType(String name)	Public methods
Optional<ResolvedType>	RecordDeclarationContext.solveGenericType(String name)

Method parameters in com.github.javaparser.symbolsolver.javaparsermodel.contexts with type arguments of type ResolvedType

Modifier and Type	Method	Description
SymbolReference<ResolvedConstructorDeclaration>	ClassOrInterfaceDeclarationContext.solveConstructor(List<ResolvedType> argumentsTypes)
SymbolReference<ResolvedConstructorDeclaration>	JavaParserTypeDeclarationAdapter.solveConstructor(List<ResolvedType> argumentsTypes)
SymbolReference<ResolvedConstructorDeclaration>	RecordDeclarationContext.solveConstructor(List<ResolvedType> argumentsTypes)
final SymbolReference<ResolvedMethodDeclaration>	AbstractMethodLikeDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	AnnotationDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	AnonymousClassDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
final SymbolReference<ResolvedMethodDeclaration>	CatchClauseContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	ClassOrInterfaceDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	CompilationUnitContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	EnumDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	FieldAccessContext.solveMethod(String name, List<ResolvedType> parameterTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	ForEachStatementContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	ForStatementContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserTypeDeclarationAdapter.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	LambdaExprContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	MethodCallExprContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	MethodReferenceExprContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	Public methods
SymbolReference<ResolvedMethodDeclaration>	ObjectCreationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	RecordDeclarationContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	StatementContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	SwitchEntryContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	TryWithResourceContext.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
Optional<MethodUsage>	AbstractJavaParserContext.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes)	Similar to solveMethod but we return a MethodUsage.
static Optional<MethodUsage>	ContextHelper.solveMethodAsUsage(ResolvedTypeDeclaration typeDeclaration, String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameters)
Optional<MethodUsage>	MethodCallExprContext.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes)
final SymbolReference<ResolvedTypeDeclaration>	AbstractMethodLikeDeclarationContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	AnnotationDeclarationContext.solveType(String name, List<ResolvedType> resolvedTypes)
SymbolReference<ResolvedTypeDeclaration>	AnonymousClassDeclarationContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	ClassOrInterfaceDeclarationContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	ClassOrInterfaceDeclarationExtendsContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	CompilationUnitContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	EnumDeclarationContext.solveType(String name, List<ResolvedType> resolvedTypes)
SymbolReference<ResolvedTypeDeclaration>	FieldAccessContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	JavaParserTypeDeclarationAdapter.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	ObjectCreationContext.solveType(String name, List<ResolvedType> typeArguments)
SymbolReference<ResolvedTypeDeclaration>	RecordDeclarationContext.solveType(String name, List<ResolvedType> typeArguments)

Uses of ResolvedType in com.github.javaparser.symbolsolver.javaparsermodel.declarations

Methods in com.github.javaparser.symbolsolver.javaparsermodel.declarations that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	JavaParserEnumDeclaration.ValueOfMethod.getReturnType()
ResolvedType	JavaParserEnumDeclaration.ValuesMethod.getReturnType()
ResolvedType	JavaParserMethodDeclaration.getReturnType()
ResolvedType	JavaParserRecordDeclaration.ImplicitGetterMethod.getReturnType()
ResolvedType	DefaultConstructorDeclaration.getSpecifiedException(int index)
ResolvedType	JavaParserConstructorDeclaration.getSpecifiedException(int index)
ResolvedType	JavaParserEnumDeclaration.ValueOfMethod.getSpecifiedException(int index)
ResolvedType	JavaParserEnumDeclaration.ValuesMethod.getSpecifiedException(int index)
ResolvedType	JavaParserMethodDeclaration.getSpecifiedException(int index)
ResolvedType	JavaParserRecordDeclaration.CanonicalRecordConstructor.getSpecifiedException(int index)
ResolvedType	JavaParserRecordDeclaration.ImplicitGetterMethod.getSpecifiedException(int index)
ResolvedType	JavaParserAnnotationMemberDeclaration.getType()
ResolvedType	JavaParserEnumConstantDeclaration.getType()
ResolvedType	JavaParserFieldDeclaration.getType()
ResolvedType	JavaParserParameterDeclaration.getType()
ResolvedType	JavaParserTypePatternDeclaration.getType()
ResolvedType	JavaParserVariableDeclaration.getType()
ResolvedType	JavaParserClassDeclaration.getUsage(Node node)
ResolvedType	JavaParserInterfaceDeclaration.getUsage(Node node)
ResolvedType	JavaParserRecordDeclaration.getUsage(Node node)
ResolvedType	JavaParserTypeParameter.getUsage(Node node)
ResolvedType	JavaParserTypeVariableDeclaration.getUsage(Node node)

Methods in com.github.javaparser.symbolsolver.javaparsermodel.declarations with parameters of type ResolvedType

Modifier and Type	Method	Description
boolean	JavaParserAnnotationDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserAnonymousClassDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserClassDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserEnumDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserInterfaceDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserRecordDeclaration.isAssignableBy(ResolvedType type)
boolean	JavaParserTypeAdapter.isAssignableBy(ResolvedType type)
boolean	JavaParserTypeParameter.isAssignableBy(ResolvedType type)
boolean	JavaParserTypeVariableDeclaration.isAssignableBy(ResolvedType type)

Method parameters in com.github.javaparser.symbolsolver.javaparsermodel.declarations with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	JavaParserEnumDeclaration.ValueOfMethod.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
MethodUsage	JavaParserEnumDeclaration.ValuesMethod.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
MethodUsage	JavaParserMethodDeclaration.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
MethodUsage	JavaParserRecordDeclaration.ImplicitGetterMethod.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
SymbolReference<ResolvedMethodDeclaration>	JavaParserAnonymousClassDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserClassDeclaration.solveMethod(String name, List<ResolvedType> parameterTypes)	Public methods
SymbolReference<ResolvedMethodDeclaration>	JavaParserClassDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserEnumDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserInterfaceDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserRecordDeclaration.solveMethod(String name, List<ResolvedType> parameterTypes)	Public methods
SymbolReference<ResolvedMethodDeclaration>	JavaParserRecordDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavaParserTypeParameter.solveMethod(String name, List<ResolvedType> parameterTypes)
SymbolReference<ResolvedMethodDeclaration>	JavaParserTypeVariableDeclaration.solveMethod(String name, List<ResolvedType> parameterTypes)
Optional<MethodUsage>	JavaParserAnonymousClassDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invocationContext, List<ResolvedType> typeParameters)
Optional<MethodUsage>	JavaParserClassDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invocationContext, List<ResolvedType> typeParameters)
Optional<MethodUsage>	JavaParserEnumDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invokationContext, List<ResolvedType> typeParameters)
Optional<MethodUsage>	JavaParserInterfaceDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invocationContext, List<ResolvedType> typeParameters)
Optional<MethodUsage>	JavaParserRecordDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentTypes, Context invocationContext, List<ResolvedType> typeParameters)

Uses of ResolvedType in com.github.javaparser.symbolsolver.javassistmodel

Methods in com.github.javaparser.symbolsolver.javassistmodel that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	JavassistMethodDeclaration.getReturnType()
ResolvedType	JavassistMethodLikeDeclarationAdapter.getReturnType()
ResolvedType	JavassistConstructorDeclaration.getSpecifiedException(int index)
ResolvedType	JavassistMethodDeclaration.getSpecifiedException(int index)
ResolvedType	JavassistMethodLikeDeclarationAdapter.getSpecifiedException(int index)
ResolvedType	JavassistAnnotationMemberDeclaration.getType()
ResolvedType	JavassistEnumConstantDeclaration.getType()
ResolvedType	JavassistFieldDeclaration.getType()
ResolvedType	JavassistParameterDeclaration.getType()
ResolvedType	JavassistClassDeclaration.getUsage(Node node)
ResolvedType	JavassistRecordDeclaration.getUsage(Node node)
static ResolvedType	JavassistFactory.typeUsageFor(javassist.CtClass ctClazz, TypeSolver typeSolver)

Methods in com.github.javaparser.symbolsolver.javassistmodel with parameters of type ResolvedType

Modifier and Type	Method	Description
boolean	JavassistAnnotationDeclaration.isAssignableBy(ResolvedType type)
boolean	JavassistClassDeclaration.isAssignableBy(ResolvedType type)
boolean	JavassistEnumDeclaration.isAssignableBy(ResolvedType type)
boolean	JavassistInterfaceDeclaration.isAssignableBy(ResolvedType type)
boolean	JavassistRecordDeclaration.isAssignableBy(ResolvedType type)
boolean	JavassistTypeDeclarationAdapter.isAssignableBy(ResolvedType type)

Method parameters in com.github.javaparser.symbolsolver.javassistmodel with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	JavassistMethodDeclaration.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
SymbolReference<ResolvedMethodDeclaration>	JavassistClassDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	Deprecated.
SymbolReference<ResolvedMethodDeclaration>	JavassistEnumDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	JavassistInterfaceDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	Deprecated.
Optional<MethodUsage>	JavassistClassDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)	Deprecated.
Optional<MethodUsage>	JavassistEnumDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)
Optional<MethodUsage>	JavassistInterfaceDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)	Deprecated.
Optional<MethodUsage>	JavassistRecordDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)	Deprecated.

Constructors in com.github.javaparser.symbolsolver.javassistmodel with parameters of type ResolvedType

Modifier	Constructor	Description
	JavassistParameterDeclaration(ResolvedType type, TypeSolver typeSolver, boolean variadic, String name)

Uses of ResolvedType in com.github.javaparser.symbolsolver.reflectionmodel

Methods in com.github.javaparser.symbolsolver.reflectionmodel that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	ReflectionMethodDeclaration.getReturnType()
ResolvedType	ReflectionConstructorDeclaration.getSpecifiedException(int index)
ResolvedType	ReflectionMethodDeclaration.getSpecifiedException(int index)
ResolvedType	ReflectionAnnotationMemberDeclaration.getType()
ResolvedType	ReflectionEnumConstantDeclaration.getType()
ResolvedType	ReflectionFieldDeclaration.getType()
ResolvedType	ReflectionParameterDeclaration.getType()
ResolvedType	ReflectionPatternDeclaration.getType()
ResolvedType	ReflectionClassDeclaration.getUsage(Node node)
ResolvedType	ReflectionInterfaceDeclaration.getUsage(Node node)
ResolvedType	ReflectionRecordDeclaration.getUsage(Node node)
static ResolvedType	ReflectionFactory.typeUsageFor(Type type, TypeSolver typeSolver)

Methods in com.github.javaparser.symbolsolver.reflectionmodel with parameters of type ResolvedType

Modifier and Type	Method	Description
boolean	ReflectionAnnotationDeclaration.isAssignableBy(ResolvedType type)
boolean	ReflectionClassDeclaration.isAssignableBy(ResolvedType type)
boolean	ReflectionEnumDeclaration.isAssignableBy(ResolvedType type)
boolean	ReflectionInterfaceDeclaration.isAssignableBy(ResolvedType type)
boolean	ReflectionRecordDeclaration.isAssignableBy(ResolvedType type)
ResolvedFieldDeclaration	ReflectionFieldDeclaration.replaceType(ResolvedType fieldType)

Method parameters in com.github.javaparser.symbolsolver.reflectionmodel with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	ReflectionMethodDeclaration.resolveTypeVariables(Context context, List<ResolvedType> parameterTypes)
SymbolReference<ResolvedMethodDeclaration>	ReflectionAnnotationDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	ReflectionClassDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	Deprecated.
SymbolReference<ResolvedMethodDeclaration>	ReflectionEnumDeclaration.solveMethod(String name, List<ResolvedType> parameterTypes, boolean staticOnly)
SymbolReference<ResolvedMethodDeclaration>	ReflectionInterfaceDeclaration.solveMethod(String name, List<ResolvedType> parameterTypes, boolean staticOnly)	Deprecated.
SymbolReference<ResolvedMethodDeclaration>	ReflectionRecordDeclaration.solveMethod(String name, List<ResolvedType> argumentsTypes, boolean staticOnly)	Deprecated.
Optional<MethodUsage>	ReflectionAnnotationDeclaration.solveMethodAsUsage(String name, List<ResolvedType> parameterTypes, Context invokationContext, List<ResolvedType> typeParameterValues)
Optional<MethodUsage>	ReflectionClassDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)
Optional<MethodUsage>	ReflectionEnumDeclaration.solveMethodAsUsage(String name, List<ResolvedType> parameterTypes, Context invokationContext, List<ResolvedType> typeParameterValues)
Optional<MethodUsage>	ReflectionInterfaceDeclaration.solveMethodAsUsage(String name, List<ResolvedType> parameterTypes, Context invokationContext, List<ResolvedType> typeParameterValues)
Optional<MethodUsage>	ReflectionRecordDeclaration.solveMethodAsUsage(String name, List<ResolvedType> argumentsTypes, Context invokationContext, List<ResolvedType> typeParameterValues)

Uses of ResolvedType in com.github.javaparser.symbolsolver.resolution

Methods in com.github.javaparser.symbolsolver.resolution that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	SymbolSolver.classToResolvedType(Class<?> clazz)	Convert a Class into the corresponding ResolvedType.
ResolvedType	SymbolSolver.solveTypeUsage(String name, Context context)

Method parameters in com.github.javaparser.symbolsolver.resolution with type arguments of type ResolvedType

Modifier and Type	Method	Description
MethodUsage	SymbolSolver.solveMethod(String methodName, List<ResolvedType> argumentsTypes, Node node)
MethodUsage	SymbolSolver.solveMethod(String methodName, List<ResolvedType> argumentsTypes, Context context)

Uses of ResolvedType in com.github.javaparser.symbolsolver.resolution.promotion

Methods in com.github.javaparser.symbolsolver.resolution.promotion that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	BooleanConditionalExprHandler.resolveType()
ResolvedType	NumericConditionalExprHandler.resolveType()
ResolvedType	ReferenceConditionalExprHandler.resolveType()

Methods in com.github.javaparser.symbolsolver.resolution.promotion with parameters of type ResolvedType

Modifier and Type	Method	Description
protected boolean	NumericConditionalExprHandler.exactMatch(ResolvedType type, ResolvedPrimitiveType... types)
static ConditionalExprHandler	ConditionalExprResolver.getConditionExprHandler(ResolvedType thenExpr, ResolvedType elseExpr)
protected boolean	NumericConditionalExprHandler.isResolvableTo(ResolvedPrimitiveType toType, ResolvedType resolvedType)
protected boolean	NumericConditionalExprHandler.isResolvableTo(ResolvedPrimitiveType toType, ResolvedType resolvedType, boolean verifyBoxedType)
protected boolean	NumericConditionalExprHandler.relaxMatch(ResolvedType type, ResolvedPrimitiveType... types)

Constructors in com.github.javaparser.symbolsolver.resolution.promotion with parameters of type ResolvedType

Modifier	Constructor	Description
	BooleanConditionalExprHandler(ResolvedType thenExpr, ResolvedType elseExpr)
	NumericConditionalExprHandler(ResolvedType thenExpr, ResolvedType elseExpr)
	ReferenceConditionalExprHandler(ResolvedType thenExpr, ResolvedType elseExpr)

Uses of ResolvedType in com.github.javaparser.symbolsolver.resolution.typeinference

Classes in com.github.javaparser.symbolsolver.resolution.typeinference that implement ResolvedType

Modifier and Type	Class	Description
class	InferenceVariable	Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	InstantiationSet.apply(ResolvedType type)
ResolvedType	Substitution.apply(ResolvedType originalType)
ResolvedType	Instantiation.getProperType()
ResolvedType	ProperLowerBound.getProperType()
ResolvedType	ProperUpperBound.getProperType()
ResolvedType	MethodType.getReturnType()
static ResolvedType	TypeHelper.glb(Set<ResolvedType> types)	See JLS 5.1.10.
static ResolvedType	TypeHelper.leastUpperBound(Set<ResolvedType> types)	See JLS 4.10.4.
ResolvedType	LeastUpperBoundLogic.lub(Set<ResolvedType> types)	See JLS 4.10.4.
static ResolvedType	TypeHelper.toBoxedType(ResolvedPrimitiveType primitiveType)
static ResolvedType	TypeHelper.toBoxedType(ResolvedPrimitiveType primitiveType, TypeSolver typeSolver)

Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
List<ResolvedType>	MethodType.getExceptionTypes()
List<ResolvedType>	MethodType.getFormalArgumentTypes()
static Pair<ResolvedType, Boolean>	TypeHelper.groundTargetTypeOfLambda(LambdaExpr lambdaExpr, ResolvedType T, TypeSolver typeSolver)	See JLS 15.27.3.
static Optional<ResolvedType>	TypeInferenceCache.retrieve(TypeSolver typeSolver, LambdaExpr lambdaExpr, String paramName)

Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type ResolvedType

Modifier and Type	Method	Description
static void	TypeInferenceCache.addRecord(TypeSolver typeSolver, LambdaExpr lambdaExpr, String paramName, ResolvedType type)
ResolvedType	InstantiationSet.apply(ResolvedType type)
ResolvedType	Substitution.apply(ResolvedType originalType)
static boolean	TypeHelper.areCompatibleThroughWideningPrimitiveConversion(ResolvedType s, ResolvedType t)
static boolean	TypeHelper.areCompatibleThroughWideningReferenceConversion(ResolvedType s, ResolvedType t)
static MethodType	TypeHelper.getFunctionType(ResolvedType type)
static Pair<ResolvedType, Boolean>	TypeHelper.groundTargetTypeOfLambda(LambdaExpr lambdaExpr, ResolvedType T, TypeSolver typeSolver)	See JLS 15.27.3.
boolean	InferenceVariable.isAssignableBy(ResolvedType other)
static boolean	TypeHelper.isCompatibleInALooseInvocationContext(ResolvedType s, ResolvedType t)	see https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.3
static boolean	TypeHelper.isCompatibleInALooseInvocationContext(TypeSolver typeSolver, Expression expression, ResolvedType t)	see https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.3
static boolean	TypeHelper.isCompatibleInAStrictInvocationContext(Expression expression, ResolvedType t)	see https://docs.oracle.com/javase/specs/jls/se8/html/jls-5.html#jls-5.3
static boolean	TypeHelper.isProperType(ResolvedType type)	The term proper type excludes such "types" that mention inference variables.
static Set<InferenceVariable>	TypeHelper.usedInferenceVariables(ResolvedType type)
InferenceVariableSubstitution	InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable, ResolvedType type)
Substitution	Substitution.withPair(ResolvedTypeParameterDeclaration typeParameterDeclaration, ResolvedType type)

Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type ResolvedType

Modifier and Type	Method	Description
static ResolvedType	TypeHelper.glb(Set<ResolvedType> types)	See JLS 5.1.10.
static ResolvedType	TypeHelper.leastUpperBound(Set<ResolvedType> types)	See JLS 4.10.4.
ResolvedType	LeastUpperBoundLogic.lub(Set<ResolvedType> types)	See JLS 4.10.4.

Constructors in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type ResolvedType

Modifier	Constructor	Description
	Instantiation(InferenceVariable inferenceVariable, ResolvedType properType)
	MethodType(List<ResolvedTypeParameterDeclaration> typeParameters, List<ResolvedType> formalArgumentTypes, ResolvedType returnType, List<ResolvedType> exceptionTypes)
	ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType)
	ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType)

Uses of ResolvedType in com.github.javaparser.symbolsolver.resolution.typeinference.bounds

Methods in com.github.javaparser.symbolsolver.resolution.typeinference.bounds that return ResolvedType

Modifier and Type	Method	Description
ResolvedType	SameAsBound.getS()
ResolvedType	SubtypeOfBound.getS()
ResolvedType	SameAsBound.getT()
ResolvedType	SubtypeOfBound.getT()

Methods in com.github.javaparser.symbolsolver.resolution.typeinference.bounds that return types with arguments of type ResolvedType

Modifier and Type	Method	Description
List<ResolvedType>	CapturesBound.getTypesOrWildcards()

Constructors in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with parameters of type ResolvedType

Modifier	Constructor	Description
	SameAsBound(ResolvedType s, ResolvedType t)
	SubtypeOfBound(ResolvedType s, ResolvedType t)

Uses of ResolvedType in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

Constructors in com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas with parameters of type ResolvedType

Modifier	Constructor	Description
	ExpressionCompatibleWithType(TypeSolver typeSolver, Expression expression, ResolvedType T)
	TypeCompatibleWithType(TypeSolver typeSolver, ResolvedType s, ResolvedType t)
	TypeSameAsType(ResolvedType s, ResolvedType t)
	TypeSubtypeOfType(TypeSolver typeSolver, ResolvedType S, ResolvedType T)