1 /* Output from LCLint 3.0.0.8 */
9 # ifndef EXPOSED_TYPE_db_q
19 # ifndef EXPOSED_TYPE_db_status
20 typedef enum {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status;
23 extern db_status hire (employee /* e */);
24 extern void uncheckedHire (employee /* e */);
25 extern bool fire (int /* ssNum */);
26 extern int query (db_q /* q */, empset /* s */);
27 extern bool promote (int /* ssNum */);
28 extern db_status setSalary (int /* ssNum */, int /* sal */);
29 extern void db_print (void);
30 extern void db_initMod (void);