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 java.util.List<InferenceVariable>	InferenceVariableSubstitution.inferenceVariables
private static java.util.Map<TypeSolver,java.util.IdentityHashMap<LambdaExpr,java.util.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 java.util.Set<InferenceVariable>	BoundSet.allInferenceVariables()
private java.util.Set<java.util.Set<InferenceVariable>>	BoundSet.allPossibleSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
private java.util.Set<java.util.Set<InferenceVariable>>	BoundSet.allSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
static java.util.List<InferenceVariable>	InferenceVariable.instantiate(java.util.List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)
static java.util.Optional<java.util.List<InferenceVariable>>	TypeInferenceCache.retrieveInferenceVariables(TypeSolver typeSolver, LambdaExpr lambdaExpr)
private java.util.Optional<java.util.Set<InferenceVariable>>	BoundSet.smallestSetWithProperty(java.util.Set<InferenceVariable> uninstantiatedVariables, java.util.List<BoundSet.VariableDependency> dependencies)	there exists no non-empty proper subset of { α1, ..., αn } with this property.
abstract java.util.Set<InferenceVariable>	Bound.usedInferenceVariables()
static java.util.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)
java.util.List<Bound>	BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable)
private boolean	BoundSet.hasInstantiationFor(InferenceVariable v)
(package private) boolean	Bound.isAnInstantiationFor(InferenceVariable v)
(package private) java.util.Optional<ProperLowerBound>	Bound.isProperLowerBoundFor(InferenceVariable inferenceVariable)
(package private) java.util.Optional<ProperUpperBound>	Bound.isProperUpperBoundFor(InferenceVariable inferenceVariable)
(package private) boolean	Bound.isThrowsBoundOn(InferenceVariable inferenceVariable)
private boolean	BoundSet.properUpperBoundsAreAtMostExceptionThrowableAndObject(InferenceVariable inferenceVariable)
private boolean	BoundSet.thereIsSomeJSuchThatβequalAlphaJ(java.util.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 java.util.Set<java.util.Set<InferenceVariable>>	BoundSet.allPossibleSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
private java.util.Set<java.util.Set<InferenceVariable>>	BoundSet.allSetsWithProperty(java.util.Set<InferenceVariable> allElements, java.util.List<BoundSet.VariableDependency> dependencies)
private boolean	BoundSet.hasProperty(java.util.Set<InferenceVariable> alphas, java.util.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(java.util.Set<InferenceVariable> subset, java.util.Set<InferenceVariable> originalSet)
java.util.Optional<InstantiationSet>	BoundSet.performResolution(java.util.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, java.util.List<InferenceVariable> _inferenceVariables)
private java.util.Optional<java.util.Set<InferenceVariable>>	BoundSet.smallestSetWithProperty(java.util.Set<InferenceVariable> uninstantiatedVariables, java.util.List<BoundSet.VariableDependency> dependencies)	there exists no non-empty proper subset of { α1, ..., αn } with this property.
private boolean	BoundSet.thereAreProperSubsets(java.util.Set<InferenceVariable> aSet, java.util.Set<java.util.Set<InferenceVariable>> allPossibleSets)
private boolean	BoundSet.thereIsSomeJSuchThatβequalAlphaJ(java.util.Set<InferenceVariable> alphas, InferenceVariable beta)

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

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 java.util.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
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<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, java.util.Map<ResolvedTypeVariable,InferenceVariable> correspondences)