1 /* Output from LCLint 2.5q */
9 # ifndef EXPOSED_TYPE_db_q
19 # ifndef EXPOSED_TYPE_db_status
20 typedef enum {DBS_OK, DBS_SALERR, DBS_GENDERERR, DBS_JOBERR, DBS_DUPLERR, DBS_MISSERR} db_status;
23 extern db_status db_hire (employee /* e */);
24 extern void db_uncheckedHire (employee /* e */);
25 extern bool db_fire (int /* ssNum */);
26 extern int db_query (db_q /* q */, empset /* s */);
27 extern bool db_promote (int /* ssNum */);
28 extern db_status db_setSalary (int /* ssNum */, int /* sal */);
29 extern void db_print (void);
30 extern void db_initMod (void);