employee.lh
employee.lh
/* Output from LCLint 2.1a */
#include "bool.h"
# ifndef EXPOSED_TYPE_gender
typedef enum {MALE, FEMALE, gender_ANY} gender;
# endif
# ifndef EXPOSED_TYPE_job
typedef enum {MGR, NONMGR, job_ANY} job;
# endif
# ifndef EXPOSED_TYPE_employee
typedef struct {
int ssNum;
char name[maxEmployeeName];
int salary;
gender gen;
job j;
} employee;
# endif
extern void employee_sprint (/*@out@*/ char s[], employee e);
extern bool employee_equal (employee *e1, employee *e2);
extern bool employee_setName (employee *e, char na[]);
extern void employee_initMod (void);
David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu