test/db3/dbase.lh

   1 /* Output from LCLint 2.5q */
   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 {DBS_OK, DBS_SALERR, DBS_GENDERERR, DBS_JOBERR, DBS_DUPLERR, DBS_MISSERR} db_status;
  21 # endif
  22
  23 extern db_status db_hire (employee  /* e */);
  24 extern void db_uncheckedHire (employee  /* e */);
  25 extern bool db_fire (int  /* ssNum */);
  26 extern int db_query (db_q  /* q */, empset  /* s */);
  27 extern bool db_promote (int  /* ssNum */);
  28 extern db_status db_setSalary (int  /* ssNum */, int  /* sal */);
  29 extern void db_print (void);
  30 extern void db_initMod (void);