test/db1/empset.lh

   1 /* Output from LCLint 2.5q */
   2
   3 # include "bool.h"
   4 # include "employee.h"
   5
   6
   7 extern empset empset_create (void);
   8 extern void empset_final (empset  /* s */);
   9 extern void empset_clear (empset  /* s */);
  10 extern bool empset_insert (empset  /* s */, employee  /* e */);
  11 extern void empset_insertUnique (empset  /* s */, employee  /* e */);
  12 extern bool empset_delete (empset  /* s */, employee  /* e */);
  13 extern empset empset_union (empset  /* s1 */, empset  /* s2 */);
  14 extern empset empset_disjointUnion (empset  /* s1 */, empset  /* s2 */);
  15 extern void empset_intersect (empset  /* s1 */, empset  /* s2 */);
  16 extern int empset_size (empset  /* s */);
  17 extern bool empset_member (employee  /* e */, empset  /* s */);
  18 extern bool empset_subset (empset  /* s1 */, empset  /* s2 */);
  19 extern employee empset_choose (empset  /* s */);
  20 extern char *empset_sprint (empset  /* s */);
  21 extern void empset_initMod (void);