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);

Return LCLint Home Page David Evans
University of Virginia, Computer Science
evans@cs.virginia.edu