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)