1 # ifndef EMPLOYEE_H
2 # define EMPLOYEE_H
3 
4 # define maxEmployeeName (20)
5 # define employeeFormat "%9d  %-20s  %-6s  %-11s  %6d.00"
6 # define employeePrintSize (63)
7 
8 # include "employee.lh"
9 
10 /* Override the definition in employee.lh (can't put this in .lcl) */
11 /*@-incondefs@*/ /*@-redecl@*/ /*@-protoparammatch@*/
12 extern bool employee_setName (/*@special@*/ employee *p_e, char  /* na */[]) /*@sets p_e->name@*/;
13 /*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/
14 # define employee_initMod()  bool_initMod()
15 # endif
16