protocol
forwarding¶
Message forwarding protocol.
Author: Paulo Moura
Version: 1.0
Date: 2013/5/4
Compilation flags:
static, built_in(no dependencies on other entities)
Public interface¶
forward/1¶
User-defined message forwarding handler, automatically called (if defined) by the runtime for any message that the receiving object does not understand.
Compilation flags:
staticTemplate:
forward(Message)Mode and number of proofs:
forward(@callable) - zero_or_moreProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)