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
25 ** metaStateExpression.c
28 # include "splintMacros.nf"
32 metaStateExpression_create (/*@only@*/ metaStateSpecifier spec)
34 metaStateExpression res = (metaStateExpression) dmalloc (sizeof (*res));
41 metaStateExpression_createMerge (/*@only@*/ metaStateSpecifier spec, /*@only@*/ metaStateExpression exp)
43 metaStateExpression res = (metaStateExpression) dmalloc (sizeof (*res));
49 cstring metaStateExpression_unparse (metaStateExpression m)
55 return message ("%q | %q",
56 metaStateSpecifier_unparse (m->spec),
57 metaStateExpression_unparse (m->rest));
62 return metaStateSpecifier_unparse (m->spec);
66 metaStateExpression metaStateExpression_copy (metaStateExpression m)
68 if (m == NULL) return NULL;
72 return metaStateExpression_createMerge (metaStateSpecifier_copy (m->spec),
73 metaStateExpression_copy (m->rest));
78 return metaStateExpression_create (metaStateSpecifier_copy (m->spec));
82 metaStateSpecifier metaStateExpression_getSpecifier (metaStateExpression m)
88 bool metaStateExpression_isMerge (metaStateExpression m)
90 return (metaStateExpression_isDefined (m)
91 && metaStateExpression_isDefined (m->rest));
94 /*@observer@*/ metaStateExpression metaStateExpression_getRest (metaStateExpression m)
100 void metaStateExpression_free (/*@only@*/ metaStateExpression m)
102 llassert (m != NULL);
104 metaStateSpecifier_free (m->spec);
106 if (m->rest != NULL) {
107 metaStateExpression_free (m->rest);