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	Description
InferenceVariable	Instantiation.getInferenceVariable()
InferenceVariable	ProperLowerBound.getInferenceVariable()
InferenceVariable	ProperUpperBound.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	Description
static java.util.List<InferenceVariable>	InferenceVariable.instantiate(java.util.List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations)
static java.util.Optional<java.util.List<InferenceVariable>>	TypeInferenceCache.retrieveInferenceVariables(com.github.javaparser.resolution.TypeSolver typeSolver, com.github.javaparser.ast.expr.LambdaExpr lambdaExpr)
abstract java.util.Set<InferenceVariable>	Bound.usedInferenceVariables()
static java.util.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	Description
java.util.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	Description
java.util.Optional<InstantiationSet>	BoundSet.performResolution(java.util.List<InferenceVariable> variablesToResolve, com.github.javaparser.resolution.TypeSolver typeSolver)	Examines the bounds on an inference variable and determines an instantiation that is compatible with those bounds.
static void	TypeInferenceCache.recordInferenceVariables(com.github.javaparser.resolution.TypeSolver typeSolver, com.github.javaparser.ast.expr.LambdaExpr lambdaExpr, java.util.List<InferenceVariable> _inferenceVariables)

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

Constructor	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	Description
java.util.List<InferenceVariable>	CapturesBound.getInferenceVariables()
java.util.Set<InferenceVariable>	CapturesBound.usedInferenceVariables()
java.util.Set<InferenceVariable>	FalseBound.usedInferenceVariables()
java.util.Set<InferenceVariable>	SameAsBound.usedInferenceVariables()
java.util.Set<InferenceVariable>	SubtypeOfBound.usedInferenceVariables()
java.util.Set<InferenceVariable>	ThrowsBound.usedInferenceVariables()

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

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

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

Constructor	Description
ThrowsBound(InferenceVariable inferenceVariable)

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

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