2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2002 University of Virginia,
4 ** Massachusetts Institute of Technology
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.
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.
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.
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
27 ** based on list_template.c
29 ** where T has T_equal (or change this) and T_unparse
34 # include "splintMacros.nf"
40 enumNameList s = (enumNameList) dmalloc (sizeof (*s));
43 s->nspace = enumNameListBASESIZE;
44 s->elements = (enumName *)
45 dmalloc (sizeof (*s->elements) * enumNameListBASESIZE);
50 /*@only@*/ enumNameList
51 enumNameList_single (/*@keep@*/ enumName t)
53 enumNameList s = (enumNameList) dmalloc (sizeof (*s));
56 s->nspace = enumNameListBASESIZE - 1;
57 s->elements = (enumName *) dmalloc (sizeof (*s->elements) * enumNameListBASESIZE);
65 enumNameList_match (enumNameList e1, enumNameList e2)
69 if (e1->nelements != e2->nelements) return FALSE;
71 for (i = 0; i < e1->nelements; i++)
75 if (!cstring_equal (e1->elements[i], e2->elements[i]))
82 enumNameList_grow (enumNameList s)
85 enumName *newelements;
87 s->nspace += enumNameListBASESIZE;
88 newelements = (enumName *) dmalloc (sizeof (*newelements) * (s->nelements + s->nspace));
90 if (newelements == (enumName *) 0)
92 llfatalerror (cstring_makeLiteral ("enumNameList_grow: out of memory!"));
95 for (i = 0; i < s->nelements; i++)
99 newelements[i] = s->elements[i];
103 s->elements = newelements;
107 enumNameList_addh (enumNameList s, /*@keep@*/ enumName el)
110 enumNameList_grow (s);
114 s->elements[s->nelements] = el;
119 enumNameList_push (/*@returned@*/ enumNameList s, /*@only@*/ enumName el)
121 enumNameList_addh (s, el);
125 /*@only@*/ enumNameList
126 enumNameList_copy (enumNameList s)
128 enumNameList r = enumNameList_new ();
130 enumNameList_elements (s, x)
132 enumNameList_addh (r, cstring_copy (x));
133 } end_enumNameList_elements;
139 enumNameList_member (enumNameList s, cstring m)
141 enumNameList_elements (s, x)
143 if (cstring_equal (m, x)) return TRUE;
144 } end_enumNameList_elements;
149 /*@only@*/ enumNameList
150 enumNameList_subtract (enumNameList source, enumNameList del)
152 enumNameList ret = enumNameList_new ();
154 enumNameList_elements (source, el)
156 if (!enumNameList_member (del, el))
158 enumNameList_addh (ret, cstring_copy (el));
160 } end_enumNameList_elements;
166 enumNameList_unparse (enumNameList s)
169 cstring st = cstring_undefined;
171 for (i = 0; i < s->nelements; i++)
176 st = cstring_copy (s->elements[i]);
181 st = message ("%q, %s", st, s->elements[i]);
188 cstring enumNameList_unparseBrief (enumNameList s)
191 cstring st = cstring_undefined;
193 for (i = 0; i < s->nelements; i++)
198 st = cstring_copy (s->elements[i]);
200 else if (i == 3 && s->nelements > 5)
202 st = message ("%q, ...", st);
203 i = s->nelements - 2;
208 st = message ("%q, %s", st, s->elements[i]);
216 enumNameList_dump (enumNameList s)
219 cstring st = cstring_undefined;
221 for (i = 0; i < s->nelements; i++)
226 st = cstring_copy (s->elements[i]);
230 st = message ("%q,%s", st, s->elements[i]);
235 /*@only@*/ enumNameList
236 enumNameList_undump (d_char *s)
238 enumNameList e = enumNameList_new ();
246 char *t = strchr (*s, ',');
251 t = strchr (*s, '}');
255 llcontbug (message ("enumNameList_undump: bad line: %s", cstring_fromChars (*s)));
263 enumNameList_addh (e, cstring_fromChars (mstring_copy (*s)));
273 enumNameList_free (enumNameList s)
278 for (i = 0; i < s->nelements; i++)
280 cstring_free (s->elements[i]);