[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
e63e0a4a	1	/*immutable type bool;
e63e0a4a	2
885824d3	3
	4	constant bool TRUE;
	5	constant bool FALSE;
e63e0a4a	6	*/
885824d3	7
	8	void bool_initMod (void) internalState; { modifies internalState; }
	9	observer char *bool_unparse (bool b) { modifies nothing; }
	10	bool bool_not (bool b) { modifies nothing; }
	11	bool bool_equal (bool b1, bool b2) { modifies nothing; }