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

**category**

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

Monitor predicates.

| **Author:** Paulo Moura
| **Version:** 1.3
| **Date:** 2019/3/8

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


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

Public interface
----------------

(see related entities)

Protected interface
-------------------

(see related entities)

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

.. raw:: html

   <div id="spy_point_/4"> </div>

.. 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)

Remarks
-------

(none)

