after/3¶
Description¶
after(Object, Message, Sender)
User-defined method for handling after events. This method is
declared in the monitoring built-in protocol
as a public predicate and automatically called by the runtime for messages
sent using the ::/2 control construct from within
objects compiled with the events flag set to allow.
Note that you can make this predicate scope protected or private by using,
respectively, protected or private implementation of the monitoring
protocol.
Modes and number of proofs¶
after(?object_identifier, ?callable, ?object_identifier) - zero_or_more
Errors¶
(none)
Examples¶
:- object(...,
implements(monitoring),
...).
% write a log message when a message is successful:
after(Object, Message, Sender) :-
writeq(Object), write('::'), writeq(Message),
write(' from '), writeq(Sender), nl.
See also
before/3, abolish_events/5, current_event/5, define_events/5