object
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).
Paulo Moura
2.0
2014/4/20
static, context_switching_calls
public expanding
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.
static
assertion(Goal)
assertion(0)
assertion(@callable) – one
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.
static
assertion(Context,Goal)
assertion(*,0)
assertion(@term,@callable) – one
(see related entities)
(see related entities)