test/db1/employee.lh

   1 /* Output from LCLint 3.0.0.12 */
   2
   3 # include "bool.h"
   4 # include "bool.h"
   5
   6
   7 # ifndef EXPOSED_TYPE_gender
   8 typedef enum {MALE, FEMALE, gender_ANY} gender;
   9 # endif
  10
  11
  12 # ifndef EXPOSED_TYPE_job
  13 typedef enum {MGR, NONMGR, job_ANY} job;
  14 # endif
  15
  16
  17 # ifndef EXPOSED_TYPE_employee
  18 typedef struct {
  19     int ssNum;
  20     char name[maxEmployeeName];
  21     int salary;
  22     gender gen;
  23     job j;
  24     } employee;
  25 # endif
  26
  27 extern void employee_sprint (/*@out@*/ char  /* s */[], employee  /* e */);
  28 extern bool employee_equal (employee * /* e1 */, employee * /* e2 */);
  29 extern bool employee_setName (employee * /* e */, char  /* na */[]);
  30 extern void employee_initMod (void);