]>
Commit | Line | Data |
---|---|---|
ed309918 | 1 | /* Output from LCLint 3.0.0.16 */ |
885824d3 | 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 */); |