[splint.git] / test / db3 / bool.lcl

immutable type bool;

constant bool TRUE;
constant bool FALSE;

void bool_initMod (void) internalState; { modifies internalState; }
observer char *bool_unparse (bool b) { modifies nothing; } 
bool bool_not (bool b) { modifies nothing; }
bool bool_equal (bool b1, bool b2) { modifies nothing; }
Commit	Line	Data
885824d3	1	immutable type bool;
	2
	3	constant bool TRUE;
	4	constant bool FALSE;
	5
	6	void bool_initMod (void) internalState; { modifies internalState; }
	7	observer char *bool_unparse (bool b) { modifies nothing; }
	8	bool bool_not (bool b) { modifies nothing; }
	9	bool bool_equal (bool b1, bool b2) { modifies nothing; }