protocol
monitorp¶
Monitor protocol.
Author: Paulo Moura
Version: 1.0
Date: 2000/7/24
Compilation flags:
static(no dependencies on other entities)
Public interface¶
monitor_activated/0¶
True if monitor is currently active.
Compilation flags:
staticMode and number of proofs:
monitor_activated - zero_or_oneactivate_monitor/0¶
Activates all spy points and start monitoring.
Compilation flags:
staticMode and number of proofs:
activate_monitor - onesuspend_monitor/0¶
Suspends monitoring, deactivating all spy points.
Compilation flags:
staticMode and number of proofs:
suspend_monitor - onereset_monitor/0¶
Resets monitor, deactivating and deleting all spy points.
Compilation flags:
staticMode and number of proofs:
reset_monitor - onespy_point/4¶
Current spy point.
Compilation flags:
staticTemplate:
spy_point(Event,Object,Message,Sender)Mode and number of proofs:
spy_point(?event,?object,?callable,?object) - zero_or_moreset_spy_point/4¶
Sets a spy point.
Compilation flags:
staticTemplate:
set_spy_point(Event,Object,Message,Sender)Mode and number of proofs:
set_spy_point(?event,?object,?callable,?object) - onedel_spy_points/4¶
Deletes all matching spy points.
Compilation flags:
staticTemplate:
del_spy_points(Event,Object,Message,Sender)Mode and number of proofs:
del_spy_points(@event,@object,@callable,@object) - oneProtected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)
Remarks¶
(none)