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