| Bound |
Bounds are defined for Inference Variables.
|
| BoundSet |
|
| ConstraintFormula |
Constraint formulas are assertions of compatibility or subtyping that may involve inference variables.
|
| ConstraintFormula.ReductionResult |
|
| ConstraintFormulaSet |
|
| ControlFlowLogic |
Consider Control Flow to determine which statements are reachable.
|
| InferenceVariable |
Are meta-variables for types - that is, they are special names that allow abstract reasoning about types.
|
| InferenceVariableSubstitution |
|
| Instantiation |
|
| InstantiationSet |
|
| LeastUpperBoundLogic |
|
| MethodType |
A MethodType is an ordered 4-tuple consisting of:
1. type parameters: the declarations of any type parameters of the method member.
2. argument types: a list of the types of the arguments to the method member.
3. return type: the return type of the method member.
4. throws clause: exception types declared in the throws clause of the method member.
|
| ProperLowerBound |
|
| ProperUpperBound |
|
| Substitution |
|
| TypeHelper |
The term "type" is used loosely in this chapter to include type-like syntax that contains inference variables.
|
| TypeInference |
The API exposed by the TypeInference subsystem.
|
| TypeInferenceCache |
|