1 /* Output from LCLint 3.0.0.12 */
7 # ifndef EXPOSED_TYPE_gender
8 typedef enum {MALE, FEMALE, GENDER_UNKNOWN} gender;
12 # ifndef EXPOSED_TYPE_job
13 typedef enum {MGR, NONMGR, JOB_UNKNOWN} job;
17 # ifndef EXPOSED_TYPE_employee
20 char name[maxEmployeeName];
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 */, /*@unique@*/ char /* na */[]);
30 extern void employee_initMod (void);