<< §2.6.(c) Base call in callin method | ↑ Table of Contents ↑ | §2.6.(e) Parameter mappings >> |
§2.6.(d) Base guard predicates
Guard predicates (§5.4) can
be specified to act on the base side using the base when
keywords.
Within such a base guard predicate base
is interpreted as a special identifier
holding a reference to the base object that is about to be lifted
for the sake of a callin method interception (see §5.4.2.(a)).
<< §2.6.(c) Base call in callin method | ↑ Table of Contents ↑ | §2.6.(e) Parameter mappings >> |