<< §2.3.2.(a) Parameters with declared lifting | ↑ Table of Contents ↑ | §2.3.2.(c) Declared lifting of arrays >> |
§2.3.2.(b) Super in the context of declared lifting
Calling super
or tsuper
in a method or constructor which
declares lifting for one or more parameters refers to a method or constructor with role type parameters,
i.e., lifting takes place before super invocation. Nevertheless, the super method may also
have a declared lifting signature. It will then see the same role instance(s) as the current method.
<< §2.3.2.(a) Parameters with declared lifting | ↑ Table of Contents ↑ | §2.3.2.(c) Declared lifting of arrays >> |