Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable
Packages that use InferenceVariable
Package
Description
-
Uses of InferenceVariable in com.github.javaparser.symbolsolver.resolution.typeinference
Fields in com.github.javaparser.symbolsolver.resolution.typeinference declared as InferenceVariableModifier and TypeFieldDescriptionprivate 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 InferenceVariableModifier and TypeFieldDescriptionprivate List
<InferenceVariable> InferenceVariableSubstitution.inferenceVariables
private static Map
<TypeSolver, IdentityHashMap<LambdaExpr, List<InferenceVariable>>> TypeInferenceCache.inferenceVariables
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return InferenceVariableModifier and TypeMethodDescriptionBoundSet.VariableDependency.getDependedOn()
BoundSet.VariableDependency.getDepending()
Instantiation.getInferenceVariable()
ProperLowerBound.getInferenceVariable()
ProperUpperBound.getInferenceVariable()
static InferenceVariable
InferenceVariable.unnamed
(ResolvedTypeParameterDeclaration typeParameterDeclaration) Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type InferenceVariableModifier and TypeMethodDescriptionprivate 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()
static Set
<InferenceVariable> TypeHelper.usedInferenceVariables
(ResolvedType type) Methods in com.github.javaparser.symbolsolver.resolution.typeinference with parameters of type InferenceVariableModifier and TypeMethodDescriptionprivate boolean
BoundSet.appearInLeftPartOfCapture
(InferenceVariable inferenceVariable) private Instantiation
BoundSet.getInstantiationFor
(InferenceVariable v) 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.withPair
(InferenceVariable inferenceVariable, ResolvedType type) Method parameters in com.github.javaparser.symbolsolver.resolution.typeinference with type arguments of type InferenceVariableModifier and TypeMethodDescriptionprivate 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 β = αjprivate boolean
BoundSet.isTheFirstAProperSubsetOfTheSecond
(Set<InferenceVariable> subset, Set<InferenceVariable> originalSet) 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 InferenceVariableModifierConstructorDescriptionInstantiation
(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 InferenceVariableFields in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with type parameters of type InferenceVariableModifier and TypeFieldDescriptionprivate List
<InferenceVariable> CapturesBound.inferenceVariables
Methods in com.github.javaparser.symbolsolver.resolution.typeinference.bounds that return types with arguments of type InferenceVariableModifier and TypeMethodDescriptionCapturesBound.getInferenceVariables()
CapturesBound.usedInferenceVariables()
FalseBound.usedInferenceVariables()
SameAsBound.usedInferenceVariables()
SubtypeOfBound.usedInferenceVariables()
ThrowsBound.usedInferenceVariables()
Methods in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with parameters of type InferenceVariableModifier and TypeMethodDescriptionboolean
ThrowsBound.isThrowsBoundOn
(InferenceVariable inferenceVariable) Constructors in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with parameters of type InferenceVariableConstructor parameters in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with type arguments of type InferenceVariableModifierConstructorDescriptionCapturesBound
(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 InferenceVariableModifier and TypeMethodDescriptionprivate ResolvedType
ExpressionCompatibleWithType.replaceTypeVariablesWithInferenceVariables
(ResolvedType originalType, Map<ResolvedTypeVariable, InferenceVariable> correspondences)