↑ Table of Contents ↑ | §1.3.2.(b) Inheriting and overriding the extends clause >> |
§1.3.2.(a) Super-class restrictions
If the super-class of a role is again a role it must be a direct role of
an enclosing team
This rule is simply enforced by disallowing type anchors in the
extends
clause
(see §1.2.2.(g)).
As an effect, the super-class may never be more deeply nested than the sub-class.
↑ Table of Contents ↑ | §1.3.2.(b) Inheriting and overriding the extends clause >> |