test/db2/erc.lh

   1 /* Output from LCLint 3.0.0.17 */
   2
   3 # include "bool.h"
   4 # include "eref.h"
   5
   6
   7 extern erc erc_create (void);
   8 extern void erc_clear (erc  /* c */);
   9 extern void erc_insert (erc  /* c */, eref  /* er */);
  10 extern bool /*@alt void@*/ erc_delete (erc  /* c */, eref  /* er */);
  11 extern bool erc_member (eref  /* er */, erc  /* c */);
  12 extern eref erc_choose (erc  /* c */);
  13 extern int erc_size (erc  /* c */);
  14 extern void erc_join (erc  /* c1 */, erc  /* c2 */);
  15 extern char *erc_sprint (erc  /* c */);
  16 extern void erc_final (erc  /* c */);
  17 extern void erc_initMod (void);