|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||
| Packages that use InferenceVariable | |
|---|---|
| org.eclipse.jdt.internal.compiler.lookup | |
| org.eclipse.jdt.internal.compiler.util | |
| Uses of InferenceVariable in org.eclipse.jdt.internal.compiler.lookup |
|---|
| Methods in org.eclipse.jdt.internal.compiler.lookup that return InferenceVariable | |
|---|---|
InferenceVariable[] |
InferenceContext18.addTypeVariableSubstitutions(TypeBinding[] typeVariables)
Add new inference variables for the given type variables. |
InferenceVariable[] |
InferenceContext18.createInitialBoundSet(TypeVariableBinding[] typeParameters)
JLS 18.1.3: Create initial bounds from a given set of type parameters declarations. |
| Methods in org.eclipse.jdt.internal.compiler.lookup with parameters of type InferenceVariable | |
|---|---|
void |
InferenceContext18.addThrowsContraints(TypeBinding[] parameters,
InferenceVariable[] variables,
ReferenceBinding[] thrownExceptions)
JLS 18.1.3 Bounds: throws α: the inference variable α appears in a throws clause |
org.eclipse.jdt.internal.compiler.lookup.BoundSet |
InferenceContext18.solve(InferenceVariable[] toResolve)
|
| Constructors in org.eclipse.jdt.internal.compiler.lookup with parameters of type InferenceVariable | |
|---|---|
InferenceSubstitution(LookupEnvironment environment,
InferenceVariable[] variables)
|
|
| Uses of InferenceVariable in org.eclipse.jdt.internal.compiler.util |
|---|
| Methods in org.eclipse.jdt.internal.compiler.util with parameters of type InferenceVariable | |
|---|---|
static void |
Sorting.sortInferenceVariables(InferenceVariable[] variables)
Sort inference variables by rank. |
|
||||||||||
| PREV NEXT | FRAMES NO FRAMES | |||||||||