dbase.lh

dbase.lh

/* Output from LCLint 2.1a */
 
#include "bool.h"
#include "employee.h"
#include "empset.h"
#include "stdio.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 {db_OK, salERR, genderERR, jobERR, duplERR, missERR} db_status;
# endif
 
extern db_status hire (employee e);
extern void uncheckedHire (employee e);
extern bool fire (int ssNum);
extern int query (db_q q, empset s);
extern bool promote (int ssNum);
extern db_status setSalary (int ssNum, int sal);
extern void db_print (void);
extern void db_initMod (void);

Return LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu