2 ** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
3 ** See ../LICENSE for license information.
9 typedef enum { NO, YES, MAYBE } ynm;
11 extern /*@observer@*/ cstring ynm_unparse (/*@sef@*/ ynm p_b) /*@*/ ;
12 extern /*@observer@*/ cstring ynm_unparseCode (/*@sef@*/ ynm p_b) /*@*/ ;
13 extern bool ynm_toBoolStrict (ynm p_b) /*@*/ ;
14 extern bool ynm_toBoolRelaxed (ynm p_b) /*@*/ ;
15 extern ynm ynm_fromBool (bool p_b) /*@*/ ;
16 extern bool ynm_isOff (ynm p_b) /*@*/ ;
17 extern bool ynm_isOn (ynm p_b) /*@*/ ;
18 extern bool ynm_isMaybe (ynm p_b) /*@*/ ;
19 extern int ynm_compare (ynm p_x, ynm p_y) /*@*/ ;
20 extern ynm ynm_fromCodeChar (char p_c) /*@*/ ;
22 # define ynm_unparse(b) \
23 (cstring_makeLiteralTemp (((b) == NO) ? "no" : ((b) == YES) ? "yes" : "maybe"))
24 # define ynm_unparseCode(b) \
25 (cstring_makeLiteralTemp (((b) == NO) ? "-" : ((b) == YES) ? "+" : "="))
27 # define ynm_toBoolStrict(y) ((y) == YES)
28 # define ynm_toBoolRelaxed(y) ((y) != NO)
29 # define ynm_fromBool(b) ((b) ? YES : NO)
30 # define ynm_isOff(y) ((y) == NO)
31 # define ynm_isOn(y) ((y) == YES)
32 # define ynm_isMaybe(y) ((y) == MAYBE)
35 # error "Multiple include"