]>
Commit | Line | Data |
---|---|---|
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 false | |
13 | #endif | |
14 | ||
15 | #ifndef TRUE | |
16 | /*@constant unused bool TRUE@*/ | |
17 | #define TRUE true | |
18 | #endif | |
19 | ||
20 | /*@-slovakfcns@*/ | |
21 | extern /*@unused@*/ void bool_initMod (void); | |
22 | # define bool_initMod() | |
23 | ||
24 | extern /*@unused@*/ /*@observer@*/ char *bool_unparse (bool); | |
25 | # define bool_unparse(b) ((b) ? "true" : "false" ) | |
26 | ||
27 | extern /*@unused@*/ bool bool_not (bool); | |
28 | # define bool_not(b) ((b) ? FALSE : TRUE) | |
29 | ||
30 | extern /*@unused@*/ bool bool_equal (bool, bool); | |
31 | # define bool_equal(a,b) ((a) ? (b) : !(b)) | |
32 | /*@=slovakfcns@*/ | |
33 | ||
34 | # endif |