pintos-os.org Git - pspp/blob - src/debug-print.h

   1 /* This file can be included multiple times.  It redeclares its macros
   2    appropriately each time, like assert.h. */
   3
   4 #undef debug_printf
   5 #undef debug_puts
   6 #undef debug_putc
   7
   8 #if DEBUGGING
   9
  10 #define debug_printf(args)                      \
  11         do                                      \
  12           {                                     \
  13             printf args;                        \
  14             fflush (stdout);                    \
  15           }                                     \
  16         while (0)
  17
  18 #define debug_puts(string)                      \
  19         do                                      \
  20           {                                     \
  21             puts (string);                      \
  22             fflush (stdout);                    \
  23           }                                     \
  24         while (0)
  25
  26 #define debug_putc(char, stream)                \
  27         do                                      \
  28           {                                     \
  29             putc (char, stream);                \
  30             fflush (stdout);                    \
  31           }                                     \
  32         while (0)
  33
  34 #else /* !DEBUGGING */
  35
  36 #define debug_printf(args)                      \
  37         do                                      \
  38           {                                     \
  39           }                                     \
  40         while (0)
  41
  42 #define debug_puts(string)                      \
  43         do                                      \
  44           {                                     \
  45           }                                     \
  46         while (0)
  47
  48 #define debug_putc(char, stream)                \
  49         do                                      \
  50           {                                     \
  51           }                                     \
  52         while (0)
  53
  54 #endif /* !DEBUGGING */