test/repexpose.lh.expect

   1 /* Output from LCLint 2.2c+ */
   2 # include "bool.h"
   3
   4
   5
   6 extern char  **globstring;
   7 extern /*@only@*/ abst abst_create (/*@dependent@*/ abst  /* p */, /*@only@*/ char * /* x */, int  /* i */);
   8 extern /*@only@*/ char *abst_name (abst  /* a */);
   9 extern int abst_val (abst  /* a */);
  10 extern int *abst_aval (abst  /* a */);
  11 extern /*@only@*/ abst abst_parent (/*@only@*/ abst  /* a */);
  12 extern /*@dependent@*/ char *immut_name (immut  /* im */);
  13 extern void abst_setIm (abst  /* a */, immut  /* im */);
  14 extern immut abst_getIm (abst  /* a */);