/* Output from LCLint 2.5q */

# include <stdio.h>
# include "bool.h"
# include "employee.h"
# include "empset.h"


# ifndef EXPOSED_TYPE_db_q
typedef struct {
    gender g;
    job j;
    int l;
    int h;
    } db_q;
# endif


# ifndef EXPOSED_TYPE_db_status
typedef enum {DBS_OK, DBS_SALERR, DBS_GENDERERR, DBS_JOBERR, DBS_DUPLERR, DBS_MISSERR} db_status;
# endif

extern db_status db_hire (employee  /* e */);
extern void db_uncheckedHire (employee  /* e */);
extern bool db_fire (int  /* ssNum */);
extern int db_query (db_q  /* q */, empset  /* s */);
extern bool db_promote (int  /* ssNum */);
extern db_status db_setSalary (int  /* ssNum */, int  /* sal */);
extern void db_print (void);
extern void db_initMod (void);