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:
static
Mode and number of proofs:
monitor_activated
- zero_or_one
activate_monitor/0
¶
Activates all spy points and start monitoring.
Compilation flags:
static
Mode and number of proofs:
activate_monitor
- one
suspend_monitor/0
¶
Suspends monitoring, deactivating all spy points.
Compilation flags:
static
Mode and number of proofs:
suspend_monitor
- one
reset_monitor/0
¶
Resets monitor, deactivating and deleting all spy points.
Compilation flags:
static
Mode and number of proofs:
reset_monitor
- one
spy_point/4
¶
Current spy point.
Compilation flags:
static
Template:
spy_point(Event,Object,Message,Sender)
Mode and number of proofs:
spy_point(?event,?object,?callable,?object)
- zero_or_more
set_spy_point/4
¶
Sets a spy point.
Compilation flags:
static
Template:
set_spy_point(Event,Object,Message,Sender)
Mode and number of proofs:
set_spy_point(?event,?object,?callable,?object)
- one
del_spy_points/4
¶
Deletes all matching spy points.
Compilation flags:
static
Template:
del_spy_points(Event,Object,Message,Sender)
Mode and number of proofs:
del_spy_points(@event,@object,@callable,@object)
- one
Protected interface¶
(none)
Private predicates¶
(none)
Operators¶
(none)