Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable

Packages that use InferenceVariable

Package	Description
com.github.javaparser.symbolsolver.resolution.typeinference
com.github.javaparser.symbolsolver.resolution.typeinference.bounds

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

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

Modifier and Type	Method and Description
InferenceVariable	ProperUpperBound.getInferenceVariable()
InferenceVariable	Instantiation.getInferenceVariable()
InferenceVariable	ProperLowerBound.getInferenceVariable()
static InferenceVariable	InferenceVariable.unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration)

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

Modifier and Type	Method and Description
static List<InferenceVariable>	InferenceVariable.instantiate(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)
static Optional<List<InferenceVariable>>	TypeInferenceCache.retrieveInferenceVariables(TypeSolver typeSolver, com.github.javaparser.ast.expr.LambdaExpr lambdaExpr)
abstract Set<InferenceVariable>	Bound.usedInferenceVariables()
static Set<InferenceVariable>	TypeHelper.usedInferenceVariables(com.github.javaparser.resolution.types.ResolvedType type)

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

Modifier and Type	Method and Description
List<Bound>	BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable)
InferenceVariableSubstitution	InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType type)

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

Modifier and Type	Method and Description
Optional<InstantiationSet>	BoundSet.performResolution(List<InferenceVariable> variablesToResolve, TypeSolver typeSolver) Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.
static void	TypeInferenceCache.recordInferenceVariables(TypeSolver typeSolver, com.github.javaparser.ast.expr.LambdaExpr lambdaExpr, List<InferenceVariable> _inferenceVariables)

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

Constructor and Description
Instantiation(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType properType)
ProperLowerBound(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType properType)
ProperUpperBound(InferenceVariable inferenceVariable, com.github.javaparser.resolution.types.ResolvedType properType)

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

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

Modifier and Type	Method and Description
List<InferenceVariable>	CapturesBound.getInferenceVariables()
Set<InferenceVariable>	SameAsBound.usedInferenceVariables()
Set<InferenceVariable>	FalseBound.usedInferenceVariables()
Set<InferenceVariable>	ThrowsBound.usedInferenceVariables()
Set<InferenceVariable>	SubtypeOfBound.usedInferenceVariables()
Set<InferenceVariable>	CapturesBound.usedInferenceVariables()

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

Modifier and Type	Method and Description
boolean	ThrowsBound.isThrowsBoundOn(InferenceVariable inferenceVariable)

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

Constructor and Description
ThrowsBound(InferenceVariable inferenceVariable)

Constructor parameters in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with type arguments of type InferenceVariable

Constructor and Description
CapturesBound(List<InferenceVariable> inferenceVariables, List<com.github.javaparser.resolution.types.ResolvedType> typesOrWildcards)