test/bool.h

   1 #ifndef BOOL_H
   2 #define BOOL_H
   3
   4 /*@-cppnames@*/
   5 /*@-exporttype@*/
   6 typedef /*@abstract@*/ int bool;
   7 /*@=exporttype@*/
   8 /*@=cppnames@*/
   9
  10 #ifndef FALSE
  11 /*@constant unused bool FALSE@*/
  12 #define FALSE 0
  13 #endif
  14
  15 #ifndef TRUE
  16 /*@constant unused bool TRUE@*/
  17 #define TRUE (! FALSE)
  18 #endif
  19
  20 /*@-slovakfcns@*/
  21 extern void bool_initMod (void);
  22 # define bool_initMod()
  23
  24 extern /*@observer@*/ char *bool_unparse (bool);
  25 # define bool_unparse(b) ((b) ? "true" : "false" )
  26
  27 extern bool bool_not (bool);
  28 # define bool_not(b) ((b) ? FALSE : TRUE)
  29
  30 extern bool bool_equal (bool, bool);
  31 # define bool_equal(a,b) ((a) ? (b) : !(b))
  32 /*@=slovakfcns@*/
  33
  34 # endif