home *** CD-ROM | disk | FTP | other *** search
/ OS/2 Shareware BBS: 10 Tools / 10-Tools.zip / splint3s.zip / splint-3.0.1.6 / test / db2 / dbase.lh < prev    next >
Text File  |  2002-02-17  |  721b  |  31 lines
  1. /* Output from Splint 3.0.1.6 */
  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);
  31.