<< §3.3.(a) Call target translation | ↑ Table of Contents ↑ | §3.3.(c) Result translation >> |
§3.3.(b) Parameter translation
Passing a role object as parameter to a callout method implicitly lowers
this parameter, if the base method declares a corresponding base type parameter.
Lifting of callout parameters is not possible.
<< §3.3.(a) Call target translation | ↑ Table of Contents ↑ | §3.3.(c) Result translation >> |