<< §2.1.(b) Inheritance | ↑ Table of Contents ↑ | §2.1.(d) No-variance >> |
§2.1.(c) Covariant refinement
An explicit sub-role (sub-class using extends
)
can refine the playedBy
relation to a more
specific base class (this is the basis for
smart lifting (§2.3.3)).
If a role class inherits several playedBy
relations from
its super-class and its super-interfaces, there must be a most specific
base-class among these relations, which is conform to all other base-classes.
This most specific base-class is the base-class of the current role.
<< §2.1.(b) Inheritance | ↑ Table of Contents ↑ | §2.1.(d) No-variance >> |