1 /*
2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2003 University of Virginia,
4 ** Massachusetts Institute of Technology
5 **
6 ** This program is free software; you can redistribute it and/or modify it
7 ** under the terms of the GNU General Public License as published by the
8 ** Free Software Foundation; either version 2 of the License, or (at your
9 ** option) any later version.
10 **
11 ** This program is distributed in the hope that it will be useful, but
12 ** WITHOUT ANY WARRANTY; without even the implied warranty of
13 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
14 ** General Public License for more details.
15 **
16 ** The GNU General Public License is available from http://www.gnu.org/ or
17 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
18 ** MA 02111-1307, USA.
19 **
20 ** For information on splint: info@splint.org
21 ** To report a bug: splint-bug@splint.org
22 ** For more information: http://www.splint.org
23 */
24 /*
25 ** pointers.c
26 */
27
28 # include "splintMacros.nf"
29 # include "basic.h"
30
pointers_create(lltok tok)31 pointers pointers_create (lltok tok)
32 {
33 return pointers_createMods (tok, qualList_undefined);
34 }
35
pointers_createMods(lltok tok,qualList quals)36 pointers pointers_createMods (/*@unused@*/ lltok tok, qualList quals)
37 {
38 pointers res = (pointers) dmalloc (sizeof (*res));
39
40 res->quals = quals;
41 res->rest = pointers_undefined;
42
43 return res;
44 }
45
pointers_createMt(mttok tok)46 pointers pointers_createMt (mttok tok)
47 {
48 return pointers_createModsMt (tok, qualList_undefined);
49 }
50
pointers_createLt(ltoken tok)51 pointers pointers_createLt (ltoken tok)
52 {
53 return pointers_createModsLt (tok, qualList_undefined);
54 }
55
pointers_createModsMt(mttok tok,qualList quals)56 pointers pointers_createModsMt (/*@unused@*/ mttok tok, qualList quals)
57 {
58 pointers res = (pointers) dmalloc (sizeof (*res));
59
60 res->quals = quals;
61 res->rest = pointers_undefined;
62
63 return res;
64 }
65
pointers_createModsLt(ltoken tok,qualList quals)66 pointers pointers_createModsLt (/*@unused@*/ ltoken tok, qualList quals)
67 {
68 pointers res = (pointers) dmalloc (sizeof (*res));
69
70 res->quals = quals;
71 res->rest = pointers_undefined;
72
73 return res;
74 }
75
pointers_extend(pointers p1,pointers p2)76 pointers pointers_extend (pointers p1, pointers p2)
77 {
78 llassert (pointers_isDefined (p1));
79 llassert (pointers_isUndefined (p1->rest));
80 p1->rest = p2;
81 return p1;
82 }
83
pointers_getRest(pointers p)84 pointers pointers_getRest (pointers p)
85 {
86 llassert (pointers_isDefined (p));
87 return p->rest;
88 }
89
pointers_unparse(pointers p)90 cstring pointers_unparse (pointers p)
91 {
92 if (pointers_isDefined (p))
93 {
94 if (qualList_isDefined (p->quals))
95 {
96 if (pointers_isDefined (p->rest))
97 {
98 return (message ("* %q %q", qualList_unparse (p->quals), pointers_unparse (p->rest)));
99 }
100 else
101 {
102 return (message ("* %q", qualList_unparse (p->quals)));
103 }
104 }
105 else
106 {
107 if (pointers_isDefined (p->rest))
108 {
109 return (message ("* %q", pointers_unparse (p->rest)));
110 }
111 else
112 {
113 return (cstring_makeLiteral ("*"));
114 }
115 }
116 }
117 else
118 {
119 return cstring_undefined;
120 }
121 }
122
pointers_depth(pointers p)123 int pointers_depth (pointers p)
124 {
125 if (pointers_isUndefined (p))
126 {
127 return 0;
128 }
129 else
130 {
131 return 1 + pointers_depth (p->rest);
132 }
133 }
134
pointers_free(pointers p)135 void pointers_free (/*@only@*/ pointers p)
136 {
137 if (pointers_isDefined (p))
138 {
139 qualList_free (p->quals);
140 pointers_free (p->rest);
141 sfree (p);
142 }
143 }
144