.. index:: monitor
.. _monitor/0:

.. rst-class:: right

**category**

``monitor``
===========

Monitor predicates.

| **Author:** Paulo Moura
| **Version:** 1:3:0
| **Date:** 2019-03-08

| **Compilation flags:**
|    ``static, events``


| **Implements:**
|    ``public`` :ref:`monitorp <monitorp/0>`

| **Remarks:**
|    (none)

| **Inherited public predicates:**
|     :ref:`monitorp/0::activate_monitor/0`  :ref:`monitorp/0::del_spy_points/4`  :ref:`monitorp/0::monitor_activated/0`  :ref:`monitorp/0::reset_monitor/0`  :ref:`monitorp/0::set_spy_point/4`  :ref:`monitorp/0::spy_point/4`  :ref:`monitorp/0::suspend_monitor/0`  

.. contents::
   :local:
   :backlinks: top

Public predicates
-----------------

(no local declarations; see entity ancestors if any)

Protected predicates
--------------------

(no local declarations; see entity ancestors if any)

Private predicates
------------------

.. index:: spy_point_/4
.. _monitor/0::spy_point_/4:

``spy_point_/4``
^^^^^^^^^^^^^^^^

Stores current spy points.

| **Compilation flags:**
|    ``dynamic``

| **Template:**
|    ``spy_point_(Event,Object,Message,Sender)``
| **Mode and number of proofs:**
|    ``spy_point_(?event,?object,?callable,?object)`` - ``zero_or_more``


------------

Operators
---------

(none)

