<< §4.1.(a) Method call interception | ↑ Table of Contents ↑ | §4.1.(c) Callin declaration >> |
§4.1.(b) Prerequisite: Class binding
A callin binding requires the enclosing class to be a role class
bound to a base class according to §2.1.
An unliftable role (see §2.3.4.(a)) cannot define
callin bindings. In that case callin bindings can only be introduced in sub-roles
which (by an appropriately refined playedBy
clause) disambiguate the lifting translation.
<< §4.1.(a) Method call interception | ↑ Table of Contents ↑ | §4.1.(c) Callin declaration >> |