src/c/assertions.h

   1 /* assertions.h
   2  * A custom assertion mechanism for C
   3  *
   4  * Programmer: Mayer Goldberg, 1999
   5  *
   6  * Usage: To make use of the following custom assertion mechanism,
   7  * include this file, and compile, when needed, with the -DDEBUG. Use
   8  * ASSERT_DEBUG(expr) to assert a condition that must hold while
   9  * debugging. Use ASSERT_ALWAYS(expr) to assert a condition that must
  10  * hold always (also while not debugging).
  11  */
  12
  13 #ifndef __ASSERTIONS_H__
  14
  15 #define __ASSERTIONS_H__
  16
  17 #include <stdio.h>
  18 #include <stdlib.h>
  19
  20 #ifdef DEBUG
  21
  22 #define ASSERT_DEBUG(e) \
  23 do { \
  24   if (! (e) ) { \
  25     fprintf(stderr, \
  26             "Failed assertion in file \"%s\", line %d:\n" \
  27             "  ASSERT_DEBUG(%s);\n", \
  28             __FILE__, __LINE__, #e); \
  29     exit(-1); \
  30   } \
  31 } while (0)
  32
  33 #else
  34
  35 #define ASSERT_DEBUG(e) do {} while (0)
  36
  37 #endif
  38
  39 #define ASSERT_ALWAYS(e,msg) \
  40 do { \
  41   if (! (e) ) { \
  42     fprintf(stderr, \
  43             "Failed assertion in file \"%s\", line %d:\n" \
  44             "  ASSERT_ALWAYS(%s);\n" \
  45             "  %s\n", \
  46             __FILE__, __LINE__, #e, msg); \
  47     exit(-1); \
  48   } \
  49 } while (0)
  50
  51 #endif