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.
@author Davide Marchignoli
@author Paolo Perrotta
| |