Uses of Class
com.github.javaparser.symbolsolver.resolution.typeinference.InferenceVariable
-
-
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)
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 β = αjprivate 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)
-