| Package | Description |
|---|---|
| org.eclipse.jdt.internal.compiler.lookup | |
| org.eclipse.jdt.internal.compiler.util |
| Modifier and Type | Method and Description |
|---|---|
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.
|
| Modifier and Type | Method and Description |
|---|---|
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) |
| Constructor and Description |
|---|
InferenceSubstitution(LookupEnvironment environment,
InferenceVariable[] variables) |
| Modifier and Type | Method and Description |
|---|---|
static void |
Sorting.sortInferenceVariables(InferenceVariable[] variables)
Sort inference variables by rank.
|
Copyright © 2015. All rights reserved.