protocol
forwarding
Message forwarding protocol.
Availability:
built_inAuthor: Paulo Moura
Version: 1:0:0
Date: 2013-05-04
Compilation flags:
static, built_inDependencies:
(none)
Remarks:
(none)
Inherited public predicates:
(none)
Public predicates
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 predicates
(none)
Private predicates
(none)
Operators
(none)