dbase.lh

dbase.lh

/* Output from LCLint 2.0 */
 
# 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);


Return to Index | LCLint Home Page

David Evans
evans@cs.virginia.edu