<< §2.1.(d) No-variance | ↑ Table of Contents ↑ | §2.1.(f) Effect on garbage collection >> |
§2.1.(e) Use of playedBy bindings
The playedBy
relation by itself has no effect
on the behavior of role and base objects.
It is, however, the precondition for translation polymorphism
(lowering: §2.2 and lifting: §2.3)
and for method bindings (callout: §3 and callin: §4).
<< §2.1.(d) No-variance | ↑ Table of Contents ↑ | §2.1.(f) Effect on garbage collection >> |