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 ** globSet.c
26 */
27
28 # include "splintMacros.nf"
29 # include "basic.h"
30
31 globSet
globSet_new()32 globSet_new ()
33 {
34 return (globSet_undefined);
35 }
36
37 void
globSet_clear(globSet g)38 globSet_clear (globSet g)
39 {
40 sRefSet_clear (g);
41 }
42
43 globSet
globSet_insert(globSet s,sRef el)44 globSet_insert (/*@returned@*/ globSet s, /*@exposed@*/ sRef el)
45 {
46 if (sRef_isKnown (el) && !sRef_isConst (el) && !sRef_isType (el))
47 {
48 llassertprint (sRef_isFileOrGlobalScope (el) || sRef_isKindSpecial (el),
49 ("el: %s", sRef_unparse (el)));
50
51 return (sRefSet_insert (s, el));
52 }
53 else
54 {
55 return s;
56 }
57 }
58
59 globSet
globSet_single(sRef el)60 globSet_single (/*@exposed@*/ sRef el)
61 {
62 globSet res = globSet_new ();
63 return globSet_insert (res, el);
64 }
65
66 void
globSet_markImmutable(globSet g)67 globSet_markImmutable (globSet g)
68 {
69 sRefSet_markImmutable (g);
70 }
71
72 globSet
globSet_copyInto(globSet s1,globSet s2)73 globSet_copyInto (/*@returned@*/ globSet s1, /*@exposed@*/ globSet s2)
74 {
75 return (sRefSet_copyInto (s1, s2));
76 }
77
78 /*@only@*/ globSet
globSet_newCopy(globSet s)79 globSet_newCopy (globSet s)
80 {
81 return (sRefSet_newCopy (s));
82 }
83
84 bool
globSet_member(globSet s,sRef el)85 globSet_member (globSet s, sRef el)
86 {
87 return (sRefSet_member (s, el));
88 }
89
globSet_lookup(globSet s,sRef el)90 /*@exposed@*/ sRef globSet_lookup (globSet s, sRef el)
91 {
92 sRefSet_allElements (s, e)
93 {
94 if (sRef_similar (e, el))
95 {
96 return e;
97 }
98 } end_sRefSet_allElements;
99
100 return sRef_undefined;
101 }
102
103 bool
globSet_hasStatic(globSet s)104 globSet_hasStatic (globSet s)
105 {
106 sRefSet_allElements (s, el)
107 {
108 if (sRef_isFileStatic (el))
109 {
110 return TRUE;
111 }
112 } end_sRefSet_allElements;
113
114 return FALSE;
115 }
116
117 void
globSet_free(globSet s)118 globSet_free (/*@only@*/ globSet s)
119 {
120 sRefSet_free (s);
121 }
122
123 /*@only@*/ cstring
globSet_dump(globSet lset)124 globSet_dump (globSet lset)
125 {
126 cstring st = cstring_undefined;
127 bool first = TRUE;
128
129
130 sRefSet_allElements (lset, el)
131 {
132 if (!first)
133 {
134 st = cstring_appendChar (st, ',');
135 }
136 else
137 {
138 first = FALSE;
139 }
140
141 st = cstring_concatFree (st, sRef_dumpGlobal (el));
142 } end_sRefSet_allElements;
143
144 return st;
145 }
146
147 globSet
globSet_undump(char ** s)148 globSet_undump (char **s)
149 {
150 char c;
151 sRefSet sl = sRefSet_new ();
152
153 while ((c = **s) != '#' && c != '@' && c != '$' && c != '&')
154 {
155 sl = sRefSet_insert (sl, sRef_undumpGlobal (s));
156
157
158 if (**s == ',')
159 {
160 (*s)++;
161 }
162 }
163
164 return sl;
165 }
166
167 /*@only@*/ cstring
globSet_unparse(globSet ll)168 globSet_unparse (globSet ll)
169 {
170 /* return (sRefSet_unparseFull (ll)); */
171 return (sRefSet_unparsePlain (ll));
172 }
173
174 int
globSet_compare(globSet l1,globSet l2)175 globSet_compare (globSet l1, globSet l2)
176 {
177 return (sRefSet_compare (l1, l2));
178 }
179
180