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);
152 /*@exposed@*/ constraintTerm
153 constraintExprData_termGetTerm (/*@observer@*/ constraintExprData data)
155 llassert (constraintExprData_isDefined (data));
160 constraintExprUnaryOpKind
161 constraintExprData_unaryExprGetOp (/*@observer@*/ constraintExprData data)
163 llassert (constraintExprData_isDefined (data));
164 return (data->unaryOp.unaryOp);
169 constraintExprData_unaryExprGetExpr (/*@observer@*/ constraintExprData data)
171 llassert (constraintExprData_isDefined (data));
172 return (data->unaryOp.expr);
176 constraintExprData_unaryExprSetOp (/*@returned@*/ constraintExprData data,
177 constraintExprUnaryOpKind op)
179 llassert (constraintExprData_isDefined (data));
180 data->unaryOp.unaryOp = op;
185 constraintExprData_unaryExprSetExpr (constraintExprData data,
186 /*@only@*/ constraintExpr expr)
188 llassert (constraintExprData_isDefined (data));
190 if (constraintExpr_isDefined (data->unaryOp.expr))
192 constraintExpr_free (data->unaryOp.expr);
195 data->unaryOp.expr = expr;
203 constraintExprBinaryOpKind constraintExprData_binaryExprGetOp (constraintExprData data)
205 llassert (constraintExprData_isDefined (data));
206 return (data->binaryOp.binaryOp);
209 constraintExpr constraintExprData_binaryExprGetExpr1 (constraintExprData data)
211 llassert (constraintExprData_isDefined (data));
212 return (data->binaryOp.expr1);
215 constraintExpr constraintExprData_binaryExprGetExpr2 (constraintExprData data)
217 llassert (constraintExprData_isDefined(data));
218 return (data->binaryOp.expr2);
222 constraintExprData_binaryExprSetExpr1 (/*@returned@*/ constraintExprData data,
223 /*@only@*/ constraintExpr expr)
225 llassert (constraintExprData_isDefined (data));
227 if (constraintExpr_isDefined (data->binaryOp.expr1))
228 constraintExpr_free(data->binaryOp.expr1);
230 data->binaryOp.expr1 = expr;
235 constraintExprData_binaryExprSetExpr2 (constraintExprData data, constraintExpr expr)
237 llassert (constraintExprData_isDefined (data));
239 if (constraintExpr_isDefined (data->binaryOp.expr2))
240 constraintExpr_free (data->binaryOp.expr2);
242 data->binaryOp.expr2 = expr;
247 constraintExprData_binaryExprSetOp (constraintExprData data,
248 constraintExprBinaryOpKind op)
250 llassert (constraintExprData_isDefined (data));
251 data->binaryOp.binaryOp = op;