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

/* Output from LCLint 2.5m */

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


extern eref eref_alloc (void);
extern void eref_free (eref  /* er */);
extern void eref_assign (eref  /* er */, employee  /* e */);
extern employee eref_get (eref  /* er */);
extern bool eref_equal (eref  /* er1 */, eref  /* er2 */);
extern void eref_initMod (void);
Commit	Line	Data
885824d3	1	/* Output from LCLint 2.5m */
	2
	3	# include "bool.h"
	4	# include "employee.h"
	5
	6
	7	extern eref eref_alloc (void);
	8	extern void eref_free (eref /* er */);
	9	extern void eref_assign (eref /* er /, employee / e */);
	10	extern employee eref_get (eref /* er */);
	11	extern bool eref_equal (eref /* er1 /, eref / er2 */);
	12	extern void eref_initMod (void);