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: splint@cs.virginia.edu
21 ** To report a bug: splint-bug@cs.virginia.edu
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 llassert (multiVal_isInt (m));
135 return m->value.ival;
138 char multiVal_forceChar (multiVal m)
140 llassert (multiVal_isChar (m));
142 return m->value.cval;
145 double multiVal_forceDouble (multiVal m)
147 llassert (multiVal_isDouble (m));
149 return m->value.fval;
152 /*@dependent@*/ /*@observer@*/ cstring multiVal_forceString (multiVal m)
154 llassert (multiVal_isString (m));
156 return m->value.sval;
159 bool multiVal_isInt (multiVal m)
161 return (multiVal_isDefined (m) && m->kind == MVLONG);
164 bool multiVal_isChar (multiVal m)
166 return (multiVal_isDefined (m) && m->kind == MVCHAR);
169 bool multiVal_isDouble (multiVal m)
171 return (multiVal_isDefined (m) && m->kind == MVDOUBLE);
174 bool multiVal_isString (multiVal m)
176 return (multiVal_isDefined (m) && m->kind == MVSTRING);
179 /*@only@*/ cstring multiVal_unparse (multiVal m)
181 if (multiVal_isDefined (m))
186 return message ("%d", (int)m->value.ival);
188 return message ("'%h'", m->value.cval);
190 return message ("%f", (float)m->value.fval);
192 return message ("%s", m->value.sval);
198 return (cstring_makeLiteral ("?"));
202 /*@only@*/ cstring multiVal_dump (multiVal m)
204 if (multiVal_isDefined (m))
209 return (message ("i%d", (int)m->value.ival));
211 return (message ("c%d", (int)m->value.cval));
213 return (message ("d%f", (float)m->value.fval));
215 return (message ("s%s", m->value.sval));
221 return (cstring_undefined);
225 /*@only@*/ multiVal multiVal_undump (char **s)
233 return multiVal_makeInt (reader_getInt (s));
236 return multiVal_makeChar ((char) reader_getInt (s));
239 return multiVal_makeDouble (reader_getDouble (s));
242 cstring st = cstring_undefined;
247 st = cstring_appendChar (st, **s);
251 return multiVal_makeString (st);
255 return multiVal_unknown ();
262 int multiVal_compare (multiVal m1, multiVal m2)
264 if (multiVal_isUndefined (m1))
266 if (multiVal_isUndefined (m2))
273 if (multiVal_isUndefined (m2))
278 COMPARERETURN (generic_compare (m1->kind, m2->kind));
282 case MVLONG: return (generic_compare (m1->value.ival, m2->value.ival));
283 case MVCHAR: return (generic_compare (m1->value.cval, m2->value.cval));
284 case MVDOUBLE: return (generic_compare (m1->value.fval, m2->value.fval));
285 case MVSTRING: return (cstring_compare (m1->value.sval, m2->value.sval));
291 multiVal multiVal_add (multiVal m1, multiVal m2)
293 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
295 return multiVal_undefined;
300 case MVLONG: return (multiVal_makeInt (m1->value.ival + m2->value.ival));
301 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval + m2->value.cval)));
302 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval + m2->value.fval));
303 case MVSTRING: return multiVal_undefined;
309 multiVal multiVal_subtract (multiVal m1, multiVal m2)
311 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
313 return multiVal_undefined;
318 case MVLONG: return (multiVal_makeInt (m1->value.ival - m2->value.ival));
319 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval - m2->value.cval)));
320 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval - m2->value.fval));
321 case MVSTRING: return multiVal_undefined;
327 multiVal multiVal_multiply (multiVal m1, multiVal m2)
329 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
331 return multiVal_undefined;
336 case MVLONG: return (multiVal_makeInt (m1->value.ival * m2->value.ival));
337 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval * m2->value.cval)));
338 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval * m2->value.fval));
339 case MVSTRING: return multiVal_undefined;
345 multiVal multiVal_divide (multiVal m1, multiVal m2)
347 if (multiVal_isUndefined (m1) || multiVal_isUndefined (m2) || m1->kind != m2->kind)
349 return multiVal_undefined;
354 case MVLONG: return (multiVal_makeInt (m1->value.ival / m2->value.ival));
355 case MVCHAR: return (multiVal_makeChar ((char) (m1->value.cval / m2->value.cval)));
356 case MVDOUBLE: return (multiVal_makeDouble (m1->value.fval / m2->value.fval));
357 case MVSTRING: return multiVal_undefined;
363 void multiVal_free (/*@only@*/ multiVal m)
365 if (multiVal_isDefined (m))
367 if (m->kind == MVSTRING)
369 cstring_free (m->value.sval);