Specifies the assertion macros. More...

#include "rkhcfg.h"
#include "rkhfwk_module.h"

Include dependency graph for rkhassert.h:

Macros
#define	RKH_REQUIRE(exp) RKH_ASSERT(exp)
	This macro checks the precondition.

#define	RKH_ENSURE(exp) RKH_ASSERT(exp)
	This macro checks the postcondition.

#define	RKH_INVARIANT(exp) RKH_ASSERT(exp)
	This macro is used to check a loop invariant.

Detailed Description

Specifies the assertion macros.

The assertions (RKH_ASSERT() macro) are used to check expressions that ought to be true as long as the program is running correctly. It is a convenient way to insert sanity checks.

A number of philosophies can be employed when deciding where to use an RKH_ASSERT() macro. Broadly speaking, the assertions only serve the purposes of catching bugs and helping documentation. Helping to document the code means that the statements inside the assertion tell the reader something he might not already know.

Definition in file rkhassert.h.

Macros

Detailed Description