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.2
Date: 2019/6/17
Compilation flags:
static, context_switching_calls
Implements:
public expanding
Uses:
Remarks:
(none)

Public predicates

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 e.g. 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 predicates

(see entity ancestors)

Private predicates

(see entity ancestors)

Operators

(none)