Type.
For example:
class Shop<T>{ List<T> getCatalog() { ... } }class Bakery extends Shop<Bread>{}
Consider the type returned by method getCatalog(). There are
two possible contexts here. In the context of Shop, the type
is List<T>. In the context of Bakery, the
type is List<Bread>. Each of these contexts can be
represented by a TypeEnvironment.
| Modifier and Type | Method and Description |
|---|---|
| public Type |
| bind | back to summary |
|---|---|
| public Type bind(Type type) Binds as many generic components of the given type as possible in this context. Warning if the returned This class does not support bindings involving inner classes or upper/lower bounds.
| |