<< §1.3.1.(f) tsuper | ↑ Table of Contents ↑ | §1.3.1.(h) Preserving visibility >> |
§1.3.1.(g) Implicitly inheriting super-types
If a role class has an explicit super class (using extends
)
this relation is inherited along implicit inheritance.
Overriding an implicitly inherited super class is governed by
§1.3.2.(b), below.
The list of implemented interfaces is merged along implicit
inheritance.
<< §1.3.1.(f) tsuper | ↑ Table of Contents ↑ | §1.3.1.(h) Preserving visibility >> |
R1
inT
hasT.R0
as its implicitly inherited super class, because the corresponding role in the super-teamextends R0
(line 3).