]> andersk Git - splint.git/blob - test/db1/erc.lh
*** empty log message ***
[splint.git] / test / db1 / erc.lh
1 /* Output from LCLint 2.5q */
2
3 # include "bool.h"
4 # include "eref.h"
5
6
7
8 extern erc erc_create (void);
9 extern void erc_clear (erc  /* c */);
10 extern void erc_insert (erc  /* c */, eref  /* er */);
11 extern bool erc_delete (erc  /* c */, eref  /* er */);
12 extern bool erc_member (eref  /* er */, erc  /* c */);
13 extern eref erc_choose (erc  /* c */);
14 extern int erc_size (erc  /* c */);
15 extern ercIter erc_iterStart (erc  /* c */);
16 extern eref erc_yield (ercIter  /* it */);
17 extern void erc_iterFinal (ercIter  /* it */);
18 extern void erc_join (erc  /* c1 */, erc  /* c2 */);
19 extern char *erc_sprint (erc  /* c */);
20 extern void erc_final (erc  /* c */);
21 extern void erc_initMod (void);
This page took 0.070597 seconds and 5 git commands to generate.