Type
. For example: Consider the type returned by methodclass Shop<T>{ List<T> getCatalog() { ... } } class Bakery extends Shop<Bread>{}
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
|
|