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 expanding

Public interface

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

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)