test/db3/erc.lh

   1 /* Output from LCLint 2.5q */
   2
   3 # include "bool.h"
   4 # include "eref.h"
   5
   6
   7 extern /*@only@*/ 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 /*@only@*/ char *erc_sprint (erc  /* c */);
  16 extern void erc_final (/*@only@*/ erc  /* c */);
  17 extern void erc_initMod (void);