]> andersk Git - splint.git/blame - test/db2/ereftab.lh
*** empty log message ***
[splint.git] / test / db2 / ereftab.lh
CommitLineData
5b73c9ca 1/* Output from LCLint 2.5q */
885824d3 2
3# include "bool.h"
4# include "employee.h"
5# include "eref.h"
6
7
8extern ereftab ereftab_create (void);
9extern void ereftab_insert (ereftab /* t */, employee /* e */, eref /* er */);
10extern bool ereftab_delete (ereftab /* t */, eref /* er */);
11extern eref ereftab_lookup (employee /* e */, ereftab /* t */);
12extern void ereftab_initMod (void);
This page took 4.657314 seconds and 5 git commands to generate.