test/db2/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 {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);