2 ** Splint - annotation-assisted static program checker
3 ** Copyright (C) 1994-2003 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
28 # include "splintMacros.nf"
31 /*@only@*/ multiVal multiVal_unknown ()
33 return multiVal_undefined;
36 static /*@special@*/ /*@notnull@*/ multiVal multiVal_create (mvkind kind)
37 /*@defines result->kind@*/
39 multiVal mv = (multiVal) dmalloc (sizeof (*mv));
45 /*@only@*/ multiVal multiVal_makeInt (long x)
47 multiVal mv = multiVal_create (MVLONG);
53 /*@only@*/ multiVal multiVal_makeChar (char x)
55 multiVal mv = multiVal_create (MVCHAR);
60 /*@only@*/ multiVal multiVal_makeDouble (double x)
62 multiVal mv = multiVal_create (MVDOUBLE);
68 /*@only@*/ multiVal multiVal_makeString (/*@only@*/ cstring s)
70 multiVal mv = multiVal_create (MVSTRING);
77 /*@only@*/ multiVal multiVal_copy (multiVal m)
81 if (multiVal_isUndefined (m))
83 return multiVal_undefined;
86 r = multiVal_create (m->kind);
91 r->value.ival = m->value.ival;
94 r->value.cval = m->value.cval;
97 r->value.fval = m->value.fval;
100 r->value.sval = cstring_copy (m->value.sval);
107 multiVal multiVal_invert (multiVal m)
109 if (multiVal_isUndefined (m))
111 return multiVal_undefined;
117 return multiVal_makeInt (-1 * m->value.ival);
120 return multiVal_undefined;
122 return multiVal_makeDouble (-1.0 * m->value.fval);
125 return multiVal_undefined;
131 long multiVal_forceInt (multiVal m)
133 if (multiVal_isInt (m)) {
134 return m->value.ival;
136 llcontbug (message ("Multival is not int: %s", multiVal_unparse (m)));
141 char multiVal_forceChar (multiVal m)
143 llassert (multiVal_isChar (m));
145 return m->value.cval;
148 double multiVal_forceDouble (multiVal m)
150 llassert (multiVal_isDouble (m));
152 return m->value.fval;
155 /*@dependent@*/ /*@observer@*/ cstring multiVal_forceString (multiVal m)
157 llassert (multiVal_isString (m));
159 return m->value.sval;
162 bool multiVal_isInt (multiVal m)
164 return (multiVal_isDefined (m) && m->kind == MVLONG);
167 bool multiVal_isChar (multiVal m)
169 return (multiVal_isDefined (m) && m->kind == MVCHAR);
172 bool multiVal_isDouble (multiVal m)
174 return (multiVal_isDefined (m) && m->kind == MVDOUBLE);
177 bool multiVal_isString (multiVal m)
179 return (multiVal_isDefined (m) && m->kind == MVSTRING);
182 /*@only@*/ cstring multiVal_unparse (multiVal m)
184 if (multiVal_isDefined (m))
189 return message ("%d", (int)m->value.ival);
191 return message ("'%h'", m->value.cval);
193 return message ("%f", (float)m->value.fval);
195 return message ("%s", m->value.sval);
201 return (cstring_makeLiteral ("?"));
205 /*@only@*/ cstring multiVal_dump (multiVal m)
207 if (multiVal_isDefined (m))
212 return (message ("i%d", (int)m->value.ival));
214 return (message ("c%d", (int)m->value.cval));
216 return (message ("d%f", (float)m->value.fval));
218 return (message ("s%s", m->value.sval));
224 return (cstring_undefined);
228 /*@only@*/ multiVal multiVal_undump (char **s)
236 return multiVal_makeInt (reader_getInt (s));
239 return multiVal_makeChar ((char) reader_getInt (s));
242 return multiVal_makeDouble (reader_getDouble (s));
245 cstring st = cstring_undefined;
250 st = cstring_appendChar (st, **s);
254 return multiVal_makeString (st);
258 return multiVal_unknown ();
265 int multiVal_compare (multiVal m1, multiVal m2)
267 if (multiVal_isUndefined (m1))
269 if (multiVal_isUndefined (m2))
276 if (multiVal_isUndefined (m2))
281 COMPARERETURN (generic_compare (m1->kind, m2->kind));
285 case MVLONG: return (generic_compare (m1->value.ival, m2->value.ival));
286 case MVCHAR: return (generic_compare (m1->value.cval, m2->value.cval));
287 case MVDOUBLE: return (generic_compare (m1->value.fval, m2->value.fval));
288 case MVSTRING: return (cstring_compare (m1->value.sval, m2->value.sval));
294 multiVal multiVal_add (multiVal m1, multiVal m2)
296 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
298 return multiVal_undefined;
303 case MVLONG: return (multiVal_makeInt (m1->value.ival + m2->value.ival));
304 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval + m2->value.cval)));
305 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval + m2->value.fval));
306 case MVSTRING: return multiVal_undefined;
312 multiVal multiVal_subtract (multiVal m1, multiVal m2)
314 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
316 return multiVal_undefined;
321 case MVLONG: return (multiVal_makeInt (m1->value.ival - m2->value.ival));
322 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval - m2->value.cval)));
323 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval - m2->value.fval));
324 case MVSTRING: return multiVal_undefined;
330 multiVal multiVal_multiply (multiVal m1, multiVal m2)
332 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
334 return multiVal_undefined;
339 case MVLONG: return (multiVal_makeInt (m1->value.ival * m2->value.ival));
340 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval * m2->value.cval)));
341 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval * m2->value.fval));
342 case MVSTRING: return multiVal_undefined;
348 multiVal multiVal_divide (multiVal m1, multiVal m2)
350 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
352 return multiVal_undefined;
358 if (m2->value.ival != 0)
360 return (multiVal_makeInt (m1->value.ival / m2->value.ival));
364 return multiVal_undefined;
367 if (m2->value.cval != (char) 0)
369 return (multiVal_makeChar ((char) (m1->value.cval / m2->value.cval)));
373 return multiVal_undefined;
376 return multiVal_undefined; /* Don't attempt to divide floats */
377 case MVSTRING: return multiVal_undefined;
383 void multiVal_free (/*@only@*/ multiVal m)
385 if (multiVal_isDefined (m))
387 if (m->kind == MVSTRING)
389 cstring_free (m->value.sval);