src/Headers/bool.h

   1 /*
   2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
   3 ** See ../LICENSE for license information.
   4 **
   5 */
   6 # if !defined(BOOL_H)
   7
   8 # define BOOL_H
   9
  10 # ifndef FALSE
  11 # define FALSE 0
  12 # endif
  13
  14 # ifndef TRUE
  15 # define TRUE (! FALSE)
  16 # endif
  17
  18 extern /*@observer@*/ cstring bool_unparse (bool p_b) /*@*/ ;
  19 extern /*@observer@*/ cstring bool_dump (bool p_b) /*@*/ ;
  20 extern /*@unused@*/ bool bool_not (bool p_b) /*@*/ ;
  21 extern bool bool_equal (bool p_b1, bool p_b2) /*@*/ ;
  22 extern int bool_compare (bool p_b1, bool p_b2) /*@*/ ;
  23 extern bool bool_fromInt (int p_i) /*@*/ ;
  24 extern int bool_toInt (bool p_b) /*@*/ ;
  25
  26 extern bool bool_isReasonable (/*@sef@*/ bool p_b) /*@*/ ;
  27 /*@-boolcompare@*/
  28 # define bool_isReasonable(b) (((b) == TRUE) || ((b) == FALSE))
  29 /*@=boolcompare@*/
  30
  31 # define bool_unparse(b)   (cstring_makeLiteralTemp ((b) ? "true" : "false" ))
  32 # define bool_dump(b)      (cstring_makeLiteralTemp ((b) ? "1" : "0" ))
  33 # define bool_not(b)       ((b) ? FALSE : TRUE)
  34 # define bool_equal(a,b)   ((a) ? (b) : !(b))
  35 # define bool_compare(a,b) ((a) ? ((b) ? 0 : 1) : ((b) ? -1 : 0))
  36 # define bool_fromInt(i)   (((i) != 0) ? TRUE : FALSE)
  37 # define bool_toInt(b)     ((b) ? 1 : 0)
  38
  39 # else
  40 # error "Multiple include"
  41 # endif
  42
  43
  44
  45