Lines Matching refs:pointers
10 /*@null@*/ pointers rest;
14 # define pointers_undefined ((pointers) NULL)
16 extern /*@nullwhentrue@*/ bool pointers_isUndefined (/*@special@*/ pointers p_e) /*@*/ ;
17 extern /*@falsewhennull@*/ bool pointers_isDefined (/*@special@*/ pointers p_e) /*@*/ ;
22 extern pointers pointers_create (lltok p_tok) /*@*/ ;
23 extern pointers pointers_createMods (lltok p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
24 extern pointers pointers_createMt (mttok p_tok) /*@*/ ;
25 extern pointers pointers_createLt (ltoken p_tok) /*@*/ ;
26 extern pointers pointers_createModsLt (ltoken p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
27 extern pointers pointers_createModsMt (mttok p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
28 extern pointers pointers_extend (/*@returned@*/ pointers p_p1, /*@only@*/ pointers p_p2) /*@modifie…
29 extern /*@observer@*/ pointers pointers_getRest (pointers) /*@*/ ;
31 extern int pointers_depth (pointers p_p) /*@*/ ;
32 extern cstring pointers_unparse (pointers) /*@*/ ;
33 extern void pointers_free (/*@only@*/ pointers) ;