]> andersk Git - splint.git/blame - test/db3/bool.h
Initial revision
[splint.git] / test / db3 / bool.h
CommitLineData
885824d3 1#ifndef BOOL_H
2#define BOOL_H
3
4#ifndef FALSE
5#define FALSE 0
6#endif
7
8#ifndef TRUE
9#define TRUE (!FALSE)
10#endif
11/*@-cppnames@*/
12typedef int bool;
13/*@=cppnames@*/
14/*
15** bool_initMod has no real effect
16** Declared with modifies internalState, so no noeffect errors are
17** reported when it is called.)
18*/
19
20extern /*@unused@*/ void bool_initMod (void)
21 /*@globals internalState@*/ /*@modifies internalState@*/ ;
22/*@-mustmod@*/
23# define bool_initMod() do { ; } while (FALSE)
24/*@=mustmod@*/
25
26extern /*@unused@*/ /*@observer@*/ char *bool_unparse (bool) /*@*/ ;
27# define bool_unparse(b) ((b) ? "true" : "false" )
28
29extern /*@unused@*/ bool bool_not (bool) /*@*/ ;
30# define bool_not(b) ((b) ? FALSE : TRUE)
31
32extern /*@unused@*/ bool bool_equal (bool, bool) /*@*/ ;
33# define bool_equal(a,b) ((a) ? (b) : !(b))
34
35/*@noaccess bool@*/
36extern /*@falseexit@*/ void check (bool);
37# define check(x) \
38 do { bool m_res = x; assert (m_res); } while (FALSE)
39
40# endif
This page took 5.677862 seconds and 5 git commands to generate.