25 lines
863 B
C
25 lines
863 B
C
|
/*
|
||
|
|
* (c) copyright 1987 by the Vrije Universiteit, Amsterdam, The Netherlands.
|
||
|
|
* See the copyright notice in the ACK home directory, in the file "Copyright".
|
||
|
|
*/
|
||
|
|
/* $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"))
|
||
|
|
#define NOTREACHED() crash("in %s, %u: unreachable statement reached", \
|
||
|
|
__FILE__, __LINE__)
|
||
|
|
#else
|
||
|
|
#define ASSERT(exp)
|
||
|
|
#define NOTREACHED()
|
||
|
|
#endif DEBUG
|