[splint.git] / test / db1 / employee.h

# ifndef EMPLOYEE_H
# define EMPLOYEE_H

# define maxEmployeeName (20)
# define employeeFormat "%9d  %-20s  %-6s  %-11s  %6d.00"
# define employeePrintSize (63)

# include "employee.lh"

/* Override the definition in employee.lh (can't put this in .lcl) */
/*@-incondefs@*/ /*@-redecl@*/ /*@-protoparammatch@*/
extern bool employee_setName (/*@special@*/ employee *p_e, char  /* na */[]) 
   /*@sets p_e->name@*/; /* evans 2002-01-01: was defined, bug fix in splint detected error */
/*@=incondefs@*/ /*@=redecl@*/ /*@=protoparammatch@*/
# define employee_initMod()  bool_initMod()
# endif
Commit	Line	Data
885824d3	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
3120b462	10	/* Override the definition in employee.lh (can't put this in .lcl) */
3120b462	11	/@-incondefs@/ /@-redecl@/ /@-protoparammatch@/
3e3ec469	12	extern bool employee_setName (/@special@/ employee p_e, char / na */[])
3e3ec469	13	/@sets p_e->name@/; /* evans 2002-01-01: was defined, bug fix in splint detected error */
3120b462	14	/@=incondefs@/ /@=redecl@/ /@=protoparammatch@/
885824d3	15	# define employee_initMod() bool_initMod()
885824d3	16	# endif