<< §4.9.1.(a) Effect on sub-classes | ↑ Table of Contents ↑ |
§4.9.1.(b) No effect on super-classes
The binding never affects an instance of any super-type of B
even if the method bm
is inherited from a super-class
or overrides an inherited method.
This ensures that dispatching to a role method due to a callin binding
always provides a base instance that has at least the type declared in the role's
playedBy
clause.
<< §4.9.1.(a) Effect on sub-classes | ↑ Table of Contents ↑ |