protocol
forwarding
Message forwarding protocol.
Availability:
built_in
Author: Paulo Moura
Version: 1:0:0
Date: 2013-05-04
Compilation flags:
static, built_in
Dependencies:
(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:
static
Template:
forward(Message)
Mode and number of proofs:
forward(@callable)
- zero_or_more
Protected predicates
(none)
Private predicates
(none)
Operators
(none)