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_callsImplements:
public expandingPublic 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:
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 pass location data.
Compilation flags:
staticTemplate:
assertion(Context,Goal)Meta-predicate template:
assertion(*,0)Mode and number of proofs:
assertion(@term,@callable) - oneProtected interface¶
(see related entities)
Private predicates¶
(see related entities)
Operators¶
(none)
Remarks¶
(none)