test/db1/employee.h

   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