Logo

Programming-Idioms

This language bar is your friend. Select your favorite languages!
  • Clojure

Idiom #123 Assert condition

Verify that predicate isConsistent returns true, otherwise report assertion violation.
Explain if the assertion is executed even in production environment or not.

(assert (true? (isConsistent)))

Tests for true
(assert (isConsistent))

Tests for truthy.
#include <assert.h>
assert(isConsistent());

If NDEBUG is defined, the assert macro becomes void. Therefore, such expressions must not have side effects.
New implementation...
< > ⌨
programming-idioms.org 
(assert (true? (isConsistent)))
(assert (isConsistent))
assert(isConsistent());
assert(isConsistent());
var result = isConsistent();
Debug.Assert(result);
var result = isConsistent();
Trace.Assert(result);
assert(isConsistent);
assert(isConsistent);
if (.not. isconsistent) stop "Inconsistent state"
if !isConsistent() {
	panic("State consistency violated")
}
assert isConsistent()
let x' = assert isConsistent x
console.assert(_isConsistent);

assert isConsistent() : "State consistency violated";
(assert (isConsistent))
assert(isConsistent() , "Assertion violation") 
assert(_isConsistent);
{$ASSERTIONS ON}
Assert(isConsistent,'isConsistent assertion failed.');
assert { is_consistent };
assert isConsistent
raise unless isConsistent
assert!(is_consistent);