[splint.git] / test / db1 / empset.lh

/* Output from LCLint 2.5q */

# include "bool.h"
# include "employee.h"


extern empset empset_create (void);
extern void empset_final (empset  /* s */);
extern void empset_clear (empset  /* s */);
extern bool empset_insert (empset  /* s */, employee  /* e */);
extern void empset_insertUnique (empset  /* s */, employee  /* e */);
extern bool empset_delete (empset  /* s */, employee  /* e */);
extern empset empset_union (empset  /* s1 */, empset  /* s2 */);
extern empset empset_disjointUnion (empset  /* s1 */, empset  /* s2 */);
extern void empset_intersect (empset  /* s1 */, empset  /* s2 */);
extern int empset_size (empset  /* s */);
extern bool empset_member (employee  /* e */, empset  /* s */);
extern bool empset_subset (empset  /* s1 */, empset  /* s2 */);
extern employee empset_choose (empset  /* s */);
extern char *empset_sprint (empset  /* s */);
extern void empset_initMod (void);
Commit	Line	Data
5b73c9ca	1	/* Output from LCLint 2.5q */
885824d3	2
	3	# include "bool.h"
	4	# include "employee.h"
	5
	6
	7	extern empset empset_create (void);
	8	extern void empset_final (empset /* s */);
	9	extern void empset_clear (empset /* s */);
	10	extern bool empset_insert (empset /* s /, employee / e */);
	11	extern void empset_insertUnique (empset /* s /, employee / e */);
	12	extern bool empset_delete (empset /* s /, employee / e */);
	13	extern empset empset_union (empset /* s1 /, empset / s2 */);
	14	extern empset empset_disjointUnion (empset /* s1 /, empset / s2 */);
	15	extern void empset_intersect (empset /* s1 /, empset / s2 */);
	16	extern int empset_size (empset /* s */);
	17	extern bool empset_member (employee /* e /, empset / s */);
	18	extern bool empset_subset (empset /* s1 /, empset / s2 */);
	19	extern employee empset_choose (empset /* s */);
	20	extern char empset_sprint (empset / s */);
	21	extern void empset_initMod (void);