ccl-assert.h File Reference

Macros allowing to set assertions into the code. More...

#include <ccl/ccl-common.h>
#include <ccl/ccl-exception.h>

Go to the source code of this file.

Macros
#define	ccl_assert(_cond_)   CCL_CHECK_CONDITION ("assertion", _cond_, __FILE__, __LINE__)
	Checks if the assertion cond is satisfied.
#define	ccl_pre(_cond_)   CCL_CHECK_CONDITION ("pre-condition", _cond_, __FILE__, __LINE__)
	Checks if the pre-condition cond is satisfied.
#define	ccl_post(_cond_)   CCL_CHECK_CONDITION ("post-condition", _cond_, __FILE__, __LINE__)
	Checks if the post-condition cond is satisfied.
#define	ccl_imply(_a, _b)   ((!(_a)) || (_b))
	Shortcut to write the implication of _a by _b.

Functions
	CCL_DECLARE_EXCEPTION (assertion, internal_error)
	Exception raised when an assertion is violated.
	CCL_DECLARE_EXCEPTION (unreachable_code_error, internal_error)
	Exception raised when an assumed unreachable branch of the code is accessed.

Detailed Description

Macros allowing to set assertions into the code.

This is a set of macros that raise an exception when a condition is not satisfied. This macros are enable if the macro-constant CCL_ENABLE_ASSERTIONS is defined.

Definition in file ccl-assert.h.