<< §4.7.(a) Static role methods | ↑ Table of Contents ↑ | §4.7.(c) before/after >> |
§4.7.(b) Binding static to static
A callin binding may bind a static role method to one or more static base methods. It is, however, an error to bind a static base method to a non-static role method, because such binding would require to lift a base object that is not provided.
<< §4.7.(a) Static role methods | ↑ Table of Contents ↑ | §4.7.(c) before/after >> |