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(ResolvedTypeParameterDeclaration typeParameterDeclaration)
Methods in com.github.javaparser.symbolsolver.resolution.typeinference that return types with arguments of type InferenceVariable Modifier and Type Method Description static List<InferenceVariable>
InferenceVariable. instantiate(List<ResolvedTypeParameterDeclaration> typeParameterDeclarations)
static Optional<List<InferenceVariable>>
TypeInferenceCache. retrieveInferenceVariables(TypeSolver typeSolver, LambdaExpr lambdaExpr)
abstract Set<InferenceVariable>
Bound. usedInferenceVariables()
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 List<Bound>
BoundSet. getProperUpperBoundsFor(InferenceVariable inferenceVariable)
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 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)
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)
-
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 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 Constructor Description ThrowsBound(InferenceVariable inferenceVariable)
Constructor parameters in com.github.javaparser.symbolsolver.resolution.typeinference.bounds with type arguments of type InferenceVariable Constructor Description CapturesBound(List<InferenceVariable> inferenceVariables, List<ResolvedType> typesOrWildcards)
-