| | 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 */[]) |
| | 13 | /*@sets p_e->name@*/; /* evans 2002-01-01: was defined, bug fix in splint detected error */ |
| | 14 | /*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/ |
| | 15 | # define employee_initMod() bool_initMod() |
| | 16 | # endif |
andersk / splint.git / blame_incremental