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

/* Output from Splint 3.0.0.20 */

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


extern /*@only@*/ ereftab ereftab_create (void);
extern void ereftab_insert (ereftab  /* t */, employee  /* e */, eref  /* er */);
extern bool ereftab_delete (ereftab  /* t */, eref  /* er */);
extern eref ereftab_lookup (employee  /* e */, ereftab  /* t */);
extern void ereftab_initMod (void);
Commit	Line	Data
11db3170	1	/* Output from Splint 3.0.0.20 */
885824d3	2
	3	# include "bool.h"
	4	# include "employee.h"
	5	# include "eref.h"
	6
	7
	8	extern /@only@/ ereftab ereftab_create (void);
	9	extern void ereftab_insert (ereftab /* t /, employee / e /, eref / er */);
	10	extern bool ereftab_delete (ereftab /* t /, eref / er */);
	11	extern eref ereftab_lookup (employee /* e /, ereftab / t */);
	12	extern void ereftab_initMod (void);