18 lines
581 B
C
18 lines
581 B
C
|
/* $Header$ */
|
||
|
|
/* A S S E R T I O N M A C R O D E F I N I T I O N */
|
||
|
|
|
||
|
|
/* At some points in the program, it must be sure that some condition
|
||
|
|
holds true, due to further, successful, processing. As long as
|
||
|
|
there is no reasonable method to prove that a program is 100%
|
||
|
|
correct, these assertions are needed in some places.
|
||
|
|
*/
|
||
|
|
#include "debug.h" /* UF */
|
||
|
|
|
||
|
|
#ifdef DEBUG
|
||
|
|
/* Note: this macro uses parameter substitution inside strings */
|
||
|
|
#define ASSERT(exp) (exp || crash("in %s, %u: assertion %s failed", \
|
||
|
|
__FILE__, __LINE__, "exp"))
|
||
|
|
#else
|
||
|
|
#define ASSERT(exp)
|
||
|
|
#endif DEBUG
|