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
26 ** constraintExprData.c
29 # include "splintMacros.nf"
31 # include "cgrammar.h"
32 # include "cgrammar_tokens.h"
34 # include "exprChecks.h"
35 # include "exprNodeSList.h"
37 static /*@out@*/ constraintExprData constraintExprData_alloc (void)
39 constraintExprData ret;
41 ret = dmalloc (sizeof (*ret) );
46 static /*@out@*/ constraintExprData constraintExprData_allocBinaryOp (void)
48 constraintExprData ret;
50 ret = constraintExprData_alloc();
52 ret->binaryOp.expr1 = constraintExpr_undefined;
53 ret->binaryOp.expr2 = constraintExpr_undefined;
58 static /*@out@*/ constraintExprData constraintExprData_allocUnaryOp (void)
60 constraintExprData ret;
62 ret = constraintExprData_alloc();
64 ret->unaryOp.expr = constraintExpr_undefined;
69 static /*@out@*/ constraintExprData constraintExprData_allocTerm (void)
71 constraintExprData ret;
73 ret = constraintExprData_alloc();
80 void constraintExprData_freeBinaryExpr (/*@only@*/constraintExprData data)
82 constraintExpr_free (data->binaryOp.expr1);
83 constraintExpr_free (data->binaryOp.expr2);
87 constraintExprData constraintExprData_copyBinaryExpr(/*@observer@*/ constraintExprData data)
89 constraintExprData ret;
90 llassert(constraintExprData_isDefined(data));
92 ret = constraintExprData_allocBinaryOp();
94 ret->binaryOp.binaryOp = data->binaryOp.binaryOp;
95 ret->binaryOp.expr1 = constraintExpr_copy (data->binaryOp.expr1);
96 ret->binaryOp.expr2 = constraintExpr_copy (data->binaryOp.expr2);
100 void constraintExprData_freeUnaryExpr (/*@only@*/constraintExprData data)
102 constraintExpr_free (data->unaryOp.expr);
106 constraintExprData constraintExprData_copyUnaryExpr(/*@observer@*/ constraintExprData data)
108 constraintExprData ret;
109 llassert(constraintExprData_isDefined(data));
111 ret = constraintExprData_allocUnaryOp();
113 ret->unaryOp.unaryOp = data->unaryOp.unaryOp;
114 ret->unaryOp.expr = constraintExpr_copy (data->unaryOp.expr);
119 void constraintExprData_freeTerm (/*@only@*/constraintExprData data)
121 constraintTerm_free (data->term);
126 constraintExprData constraintExprData_copyTerm (/*@observer@*/ constraintExprData data)
128 constraintExprData ret;
129 llassert(constraintExprData_isDefined(data));
131 ret = constraintExprData_allocTerm();
133 ret->term = constraintTerm_copy (data->term);
138 constraintExprData_termSetTerm (/*@returned@*/ constraintExprData data,
139 /*@only@*/ constraintTerm term)
141 llassert (constraintExprData_isDefined (data));
143 if (constraintTerm_isDefined (data->term))
145 constraintTerm_free (data->term);
154 /*@observer@*/ constraintTerm
155 constraintExprData_termGetTerm (/*@observer@*/ constraintExprData data)
157 llassert (constraintExprData_isDefined (data));
163 constraintExprUnaryOpKind
164 constraintExprData_unaryExprGetOp (/*@observer@*/ constraintExprData data)
166 llassert (constraintExprData_isDefined (data));
167 return (data->unaryOp.unaryOp);
172 constraintExprData_unaryExprGetExpr (/*@observer@*/ constraintExprData data)
174 llassert (constraintExprData_isDefined (data));
175 return (data->unaryOp.expr);
179 constraintExprData_unaryExprSetOp (/*@returned@*/ constraintExprData data,
180 constraintExprUnaryOpKind op)
182 llassert (constraintExprData_isDefined (data));
183 data->unaryOp.unaryOp = op;
188 constraintExprData_unaryExprSetExpr (constraintExprData data,
189 /*@only@*/ constraintExpr expr)
191 llassert (constraintExprData_isDefined (data));
193 if (constraintExpr_isDefined (data->unaryOp.expr))
195 constraintExpr_free (data->unaryOp.expr);
198 data->unaryOp.expr = expr;
206 constraintExprBinaryOpKind constraintExprData_binaryExprGetOp (constraintExprData data)
208 llassert (constraintExprData_isDefined (data));
209 return (data->binaryOp.binaryOp);
212 constraintExpr constraintExprData_binaryExprGetExpr1 (constraintExprData data)
214 llassert (constraintExprData_isDefined (data));
215 return (data->binaryOp.expr1);
218 constraintExpr constraintExprData_binaryExprGetExpr2 (constraintExprData data)
220 llassert (constraintExprData_isDefined(data));
222 return (data->binaryOp.expr2);
226 constraintExprData_binaryExprSetExpr1 (/*@returned@*/ constraintExprData data,
227 /*@only@*/ constraintExpr expr)
229 llassert (constraintExprData_isDefined (data));
231 if (constraintExpr_isDefined (data->binaryOp.expr1))
232 constraintExpr_free(data->binaryOp.expr1);
234 data->binaryOp.expr1 = expr;
239 constraintExprData_binaryExprSetExpr2 (constraintExprData data, constraintExpr expr)
241 llassert (constraintExprData_isDefined (data));
243 if (constraintExpr_isDefined (data->binaryOp.expr2))
244 constraintExpr_free (data->binaryOp.expr2);
246 data->binaryOp.expr2 = expr;
251 constraintExprData_binaryExprSetOp (constraintExprData data,
252 constraintExprBinaryOpKind op)
254 llassert (constraintExprData_isDefined (data));
255 data->binaryOp.binaryOp = op;