ereftab.lh

ereftab.lh

/* Output from LCLint 2.0 */
 
#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);


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu