src/Headers/bool.h

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