]>
Commit | Line | Data |
---|---|---|
c555d0ad | 1 | /* Output from LCLint 3.0.0.7 */ |
885824d3 | 2 | |
3 | # include <stdio.h> | |
4 | # include "bool.h" | |
5 | # include "employee.h" | |
6 | # include "empset.h" | |
7 | ||
8 | ||
9 | # ifndef EXPOSED_TYPE_db_q | |
10 | typedef struct { | |
11 | gender g; | |
12 | job j; | |
13 | int l; | |
14 | int h; | |
15 | } db_q; | |
16 | # endif | |
17 | ||
18 | ||
19 | # ifndef EXPOSED_TYPE_db_status | |
20 | typedef enum {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status; | |
21 | # endif | |
22 | ||
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); |