.. index:: assertions(Mode)
.. _assertions/1:

**object**

``assertions(Mode)``
====================

A simple assertions framework. Can be used as a hook object for either suppressing assertions ("production" mode) or expanding them with file context information ("debug" mode).

| **Author:** Paulo Moura
| **Version:** 2.1
| **Date:** 2018/2/20

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


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

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

.. raw:: html

   <div id="assertion/1"> </div>

.. index:: assertion/1
.. _assertions/1::assertion/1:

``assertion/1``
^^^^^^^^^^^^^^^

Checks that an assertion is true. Uses the structured message printing mechanism for printing the results using a silent message for assertion success and a error message for assertion failure.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``assertion(Goal)``
| **Meta-predicate template:**
|    ``assertion(0)``
| **Mode and number of proofs:**
|    ``assertion(@callable)`` - ``one``


.. raw:: html

   <div id="assertion/2"> </div>

.. index:: assertion/2
.. _assertions/1::assertion/2:

``assertion/2``
^^^^^^^^^^^^^^^

Checks that an assertion is true. Uses the structured message printing mechanism for printing the results using a silent message for assertion success and a error message for assertion failure. The context argument can be used to pass location data.

| **Compilation flags:**
|    ``static``

| **Template:**
|    ``assertion(Context,Goal)``
| **Meta-predicate template:**
|    ``assertion(*,0)``
| **Mode and number of proofs:**
|    ``assertion(@term,@callable)`` - ``one``


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

(see related entities)

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

(see related entities)

Operators
---------

(none)

Remarks
-------

(none)

