<< §2.1.(c) Covariant refinement | ↑ Table of Contents ↑ | §2.1.(e) Use of playedBy bindings >> |
§2.1.(d) No-variance
An implicit sub-role (according to §1.3.1.(c))
may only add a playedBy
relation but never change an existing one.
Note however, that implicit inheritance may implicitly specialize an existing playedBy
relation (this advanced situation is illustrated in §2.7.(d)).
<< §2.1.(c) Covariant refinement | ↑ Table of Contents ↑ | §2.1.(e) Use of playedBy bindings >> |