Logo

Programming-Idioms

  • Groovy
  • PHP
  • Fortran

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.

if (.not. isconsistent) stop "Inconsistent state"

This will also be checked in a production environment.
assert isConsistent()

Assertions are always enabled.
assert(_isConsistent);

isConsistent can be any PHP snippet without string quotes.

They will be evaluated only if `assert.active` PHP ini value is enabled, or `assert_options()` is called before.
#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 
if (.not. isconsistent) stop "Inconsistent state"
assert isConsistent()
assert(_isConsistent);
assert(isConsistent());
(assert (isConsistent))
(assert (true? (isConsistent)))
assert(isConsistent());
var result = isConsistent();
Trace.Assert(result);
var result = isConsistent();
Debug.Assert(result);
assert(isConsistent);
assert(isConsistent);
if !isConsistent() {
	panic("State consistency violated")
}
let x' = assert isConsistent x
console.assert(_isConsistent);

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