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_callsRemarks:
(none)
Inherited public predicates:
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:
staticTemplate:
assertion(Goal)Meta-predicate template:
assertion(0)Mode and number of proofs:
assertion(@callable) - oneassertion/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:
staticTemplate:
assertion(Context,Goal)Meta-predicate template:
assertion(*,0)Mode and number of proofs:
assertion(@term,@callable) - oneProtected predicates¶
(no local declarations; see entity ancestors if any)
Private predicates¶
(no local declarations; see entity ancestors if any)