↑ Table of Contents ↑ | §4.5.(b) Parameter translation >> |
§4.5.(a) Call target translation
Invoking a role method due to a callin binding first lifts the base object to the role class of the callin binding, in order to obtain the effective call target. This is why callin bindings cannot be defined in roles that are unliftable due to potential binding ambiguity (see §4.1.(b) above and §2.3.4.(a)).
↑ Table of Contents ↑ | §4.5.(b) Parameter translation >> |