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

/* Output from LCLint 2.5q */

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


extern /*@only@*/ erc erc_create (void);
extern void erc_clear (erc  /* c */);
extern void erc_insert (erc  /* c */, eref  /* er */);
extern bool /*@alt void@*/ 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 void erc_join (erc  /* c1 */, erc  /* c2 */);
extern /*@only@*/ char *erc_sprint (erc  /* c */);
extern void erc_final (/*@only@*/ 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	extern /@only@/ erc erc_create (void);
	8	extern void erc_clear (erc /* c */);
	9	extern void erc_insert (erc /* c /, eref / er */);
	10	extern bool /@alt void@/ erc_delete (erc /* c /, eref / er */);
	11	extern bool erc_member (eref /* er /, erc / c */);
	12	extern eref erc_choose (erc /* c */);
	13	extern int erc_size (erc /* c */);
	14	extern void erc_join (erc /* c1 /, erc / c2 */);
	15	extern /@only@/ char erc_sprint (erc / c */);
	16	extern void erc_final (/@only@/ erc /* c */);
	17	extern void erc_initMod (void);