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
com.github.javaparser.symbolsolver.resolution.typeinference.constraintformulas

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

Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as InferenceVariable

Modifier and Type	Field	Description
private InferenceVariable	BoundSet.VariableDependency.dependedOn
private InferenceVariable	BoundSet.VariableDependency.depending
private InferenceVariable	Instantiation.inferenceVariable
private InferenceVariable	ProperLowerBound.inferenceVariable
private InferenceVariable	ProperUpperBound.inferenceVariable

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

Modifier and Type	Field	Description
private List<InferenceVariable>	InferenceVariableSubstitution.inferenceVariables
private static Map<TypeSolver, IdentityHashMap<LambdaExpr, List<InferenceVariable>>>	TypeInferenceCache.inferenceVariables

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

Modifier and Type	Method	Description
InferenceVariable	BoundSet.VariableDependency.getDependedOn()
InferenceVariable	BoundSet.VariableDependency.getDepending()
InferenceVariable	Instantiation.getInferenceVariable()
InferenceVariable	ProperLowerBound.getInferenceVariable()
InferenceVariable	ProperUpperBound.getInferenceVariable()
static InferenceVariable	InferenceVariable.unnamed(ResolvedTypeParameterDeclaration typeParameterDeclaration)

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

Modifier and Type	Method	Description
private Set<InferenceVariable>	BoundSet.allInferenceVariables()
private Set<Set<InferenceVariable>>	BoundSet.allPossibleSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
private Set<Set<InferenceVariable>>	BoundSet.allSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
static List<InferenceVariable>	InferenceVariable.instantiate(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)
static Optional<List<InferenceVariable>>	TypeInferenceCache.retrieveInferenceVariables(TypeSolver typeSolver, LambdaExpr lambdaExpr)
private Optional<Set<InferenceVariable>>	BoundSet.smallestSetWithProperty(Set<InferenceVariable> uninstantiatedVariables, List<BoundSet.VariableDependency> dependencies)	there exists no non-empty proper subset of { α1, ..., αn } with this property.
abstract Set<InferenceVariable>	Bound.usedInferenceVariables()	Other methods
static Set<InferenceVariable>	TypeHelper.usedInferenceVariables(ResolvedType type)

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

Modifier and Type	Method	Description
private boolean	BoundSet.appearInLeftPartOfCapture(InferenceVariable inferenceVariable)
private Instantiation	BoundSet.getInstantiationFor(InferenceVariable v)
List<Bound>	BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable)
private boolean	BoundSet.hasInstantiationFor(InferenceVariable v)
(package private) boolean	Bound.isAnInstantiationFor(InferenceVariable v)
(package private) Optional<ProperLowerBound>	Bound.isProperLowerBoundFor(InferenceVariable inferenceVariable)
(package private) Optional<ProperUpperBound>	Bound.isProperUpperBoundFor(InferenceVariable inferenceVariable)
(package private) boolean	Bound.isThrowsBoundOn(InferenceVariable inferenceVariable)
private boolean	BoundSet.properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable)
private boolean	BoundSet.thereIsSomeJSuchThatβequalAlphaJ(Set<InferenceVariable> alphas, InferenceVariable beta)
InferenceVariableSubstitution	InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable, ResolvedType type)

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

Modifier and Type	Method	Description
private Set<Set<InferenceVariable>>	BoundSet.allPossibleSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
private Set<Set<InferenceVariable>>	BoundSet.allSetsWithProperty(Set<InferenceVariable> allElements, List<BoundSet.VariableDependency> dependencies)
private boolean	BoundSet.hasProperty(Set<InferenceVariable> alphas, List<BoundSet.VariableDependency> dependencies)	if αi depends on the resolution of a variable β, then either β has an instantiation or there is some j such that β = αj
private boolean	BoundSet.isTheFirstAProperSubsetOfTheSecond(Set<InferenceVariable> subset, Set<InferenceVariable> originalSet)
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, LambdaExpr lambdaExpr, List<InferenceVariable> _inferenceVariables)
private Optional<Set<InferenceVariable>>	BoundSet.smallestSetWithProperty(Set<InferenceVariable> uninstantiatedVariables, List<BoundSet.VariableDependency> dependencies)	there exists no non-empty proper subset of { α1, ..., αn } with this property.
private boolean	BoundSet.thereAreProperSubsets(Set<InferenceVariable> aSet, Set<Set<InferenceVariable>> allPossibleSets)
private boolean	BoundSet.thereIsSomeJSuchThatβequalAlphaJ(Set<InferenceVariable> alphas, InferenceVariable beta)

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

Modifier	Constructor	Description
	Instantiation(InferenceVariable inferenceVariable, ResolvedType properType)
	ProperLowerBound(InferenceVariable inferenceVariable, ResolvedType properType)
	ProperUpperBound(InferenceVariable inferenceVariable, ResolvedType properType)
	VariableDependency(InferenceVariable depending, InferenceVariable dependedOn)

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

Fields in com.github.javaparser.symbolsolver.resolution.typeinference.bounds declared as InferenceVariable

Modifier and Type	Field	Description
private InferenceVariable	ThrowsBound.inferenceVariable

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

Modifier and Type	Field	Description
private List<InferenceVariable>	CapturesBound.inferenceVariables

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

Modifier and Type	Method	Description
List<InferenceVariable>	CapturesBound.getInferenceVariables()
Set<InferenceVariable>	CapturesBound.usedInferenceVariables()
Set<InferenceVariable>	FalseBound.usedInferenceVariables()
Set<InferenceVariable>	SameAsBound.usedInferenceVariables()
Set<InferenceVariable>	SubtypeOfBound.usedInferenceVariables()
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

Modifier	Constructor	Description
	ThrowsBound(InferenceVariable inferenceVariable)

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

Modifier	Constructor	Description
	CapturesBound(List<InferenceVariable> inferenceVariables, List<ResolvedType> typesOrWildcards)

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

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

Modifier and Type	Method	Description
private ResolvedType	ExpressionCompatibleWithType.replaceTypeVariablesWithInferenceVariables(ResolvedType originalType, Map<ResolvedTypeVariable, InferenceVariable> correspondences)