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

/* Output from LCLint 2.5q */

# include "bool.h"
# include "eref.h"


extern erc erc_create (void);
extern void erc_clear (erc  /* c */);
extern void erc_insert (erc  /* c */, eref  /* er */);
extern bool erc_delete (erc  /* c */, eref  /* er */);
extern bool erc_member (eref  /* er */, erc  /* c */);
extern eref erc_choose (erc  /* c */);
extern int erc_size (erc  /* c */);
extern ercIter erc_iterStart (erc  /* c */);
extern eref erc_yield (ercIter  /* it */);
extern void erc_iterFinal (ercIter  /* it */);
extern void erc_join (erc  /* c1 */, erc  /* c2 */);
extern char *erc_sprint (erc  /* c */);
extern void erc_final (erc  /* c */);
extern void erc_initMod (void);
Commit	Line	Data
5b73c9ca	1	/* Output from LCLint 2.5q */
885824d3	2
	3	# include "bool.h"
	4	# include "eref.h"
	5
	6
	7
	8	extern erc erc_create (void);
	9	extern void erc_clear (erc /* c */);
	10	extern void erc_insert (erc /* c /, eref / er */);
	11	extern bool erc_delete (erc /* c /, eref / er */);
	12	extern bool erc_member (eref /* er /, erc / c */);
	13	extern eref erc_choose (erc /* c */);
	14	extern int erc_size (erc /* c */);
	15	extern ercIter erc_iterStart (erc /* c */);
	16	extern eref erc_yield (ercIter /* it */);
	17	extern void erc_iterFinal (ercIter /* it */);
	18	extern void erc_join (erc /* c1 /, erc / c2 */);
	19	extern char erc_sprint (erc / c */);
	20	extern void erc_final (erc /* c */);
	21	extern void erc_initMod (void);