]>
Commit | Line | Data |
---|---|---|
885824d3 | 1 | #ifndef BOOL_H |
2 | #define BOOL_H | |
3 | ||
4 | /*@-cppnames@*/ | |
5 | /*@-exporttype@*/ | |
cc78dedd | 6 | typedef /*@abstract@*/ int bool; |
885824d3 | 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 |