| Package | Description |
|---|---|
| com.github.javaparser.symbolsolver.resolution.typeinference | |
| com.github.javaparser.symbolsolver.resolution.typeinference.bounds |
| Modifier and Type | Method and Description |
|---|---|
InferenceVariable |
ProperUpperBound.getInferenceVariable() |
InferenceVariable |
Instantiation.getInferenceVariable() |
InferenceVariable |
ProperLowerBound.getInferenceVariable() |
static InferenceVariable |
InferenceVariable.unnamed(com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration typeParameterDeclaration) |
| Modifier and Type | Method and Description |
|---|---|
static List<InferenceVariable> |
InferenceVariable.instantiate(List<com.github.javaparser.resolution.declarations.ResolvedTypeParameterDeclaration> typeParameterDeclarations) |
static Optional<List<InferenceVariable>> |
TypeInferenceCache.retrieveInferenceVariables(TypeSolver typeSolver,
com.github.javaparser.ast.expr.LambdaExpr lambdaExpr) |
abstract Set<InferenceVariable> |
Bound.usedInferenceVariables() |
static Set<InferenceVariable> |
TypeHelper.usedInferenceVariables(com.github.javaparser.resolution.types.ResolvedType type) |
| Modifier and Type | Method and Description |
|---|---|
List<Bound> |
BoundSet.getProperUpperBoundsFor(InferenceVariable inferenceVariable) |
InferenceVariableSubstitution |
InferenceVariableSubstitution.withPair(InferenceVariable inferenceVariable,
com.github.javaparser.resolution.types.ResolvedType type) |
| Modifier and Type | Method and 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,
com.github.javaparser.ast.expr.LambdaExpr lambdaExpr,
List<InferenceVariable> _inferenceVariables) |
| Constructor and Description |
|---|
Instantiation(InferenceVariable inferenceVariable,
com.github.javaparser.resolution.types.ResolvedType properType) |
ProperLowerBound(InferenceVariable inferenceVariable,
com.github.javaparser.resolution.types.ResolvedType properType) |
ProperUpperBound(InferenceVariable inferenceVariable,
com.github.javaparser.resolution.types.ResolvedType properType) |
| Modifier and Type | Method and Description |
|---|---|
List<InferenceVariable> |
CapturesBound.getInferenceVariables() |
Set<InferenceVariable> |
SameAsBound.usedInferenceVariables() |
Set<InferenceVariable> |
FalseBound.usedInferenceVariables() |
Set<InferenceVariable> |
ThrowsBound.usedInferenceVariables() |
Set<InferenceVariable> |
SubtypeOfBound.usedInferenceVariables() |
Set<InferenceVariable> |
CapturesBound.usedInferenceVariables() |
| Modifier and Type | Method and Description |
|---|---|
boolean |
ThrowsBound.isThrowsBoundOn(InferenceVariable inferenceVariable) |
| Constructor and Description |
|---|
ThrowsBound(InferenceVariable inferenceVariable) |
| Constructor and Description |
|---|
CapturesBound(List<InferenceVariable> inferenceVariables,
List<com.github.javaparser.resolution.types.ResolvedType> typesOrWildcards) |
Copyright © 2007–2019. All rights reserved.