<< §1.3.2.(a) Super-class restrictions | ↑ Table of Contents ↑ | §1.3.2.(c) Constructors and overridden 'extends' >> |
§1.3.2.(b) Inheriting and overriding the extends clause
If a role overrides another role by implicit inheritance, it may
change the inherited extends
clause
(see §1.3.1.(g) above) only if the new super-class
is a sub-class of the class in the overridden extends clause.
I.e., an implicit sub-role may specialize the extends clause of its
implicit super-role.
<< §1.3.2.(a) Super-class restrictions | ↑ Table of Contents ↑ | §1.3.2.(c) Constructors and overridden 'extends' >> |