]> andersk Git - splint.git/blame - src/mtMergeNode.c
Merged code tree with Dave Evans's version. Many changes to numberous to list....
[splint.git] / src / mtMergeNode.c
CommitLineData
28bf4b0b 1/*
2** LCLint - annotation-assisted static program checker
3** Copyright (C) 1994-2001 University of Virginia,
4** Massachusetts Institute of Technology
5**
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.
10**
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.
15**
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.
19**
20** For information on lclint: lclint-request@cs.virginia.edu
21** To report a bug: lclint-bug@cs.virginia.edu
22** For more information: http://lclint.cs.virginia.edu
23*/
24/*
25** mtMergeNode.c
26*/
27
28# include "lclintMacros.nf"
29# include "basic.h"
30# include "mtgrammar.h"
31
32extern mtMergeNode mtMergeNode_create (mtMergeClauseList mlist)
33{
34 mtMergeNode res = (mtMergeNode) dmalloc (sizeof (*res));
35 res->mlist = mlist;
36 DPRINTF (("merge node: %s", mtMergeNode_unparse (res)));
37 return res;
38}
39
40void mtMergeNode_free (/*@only@*/ mtMergeNode node)
41{
42 mtMergeClauseList_free (node->mlist);
43 sfree (node);
44}
45
46extern cstring mtMergeNode_unparse (mtMergeNode node)
47{
48 return message ("merge %q", mtMergeClauseList_unparse (node->mlist));
49}
50
This page took 0.061791 seconds and 5 git commands to generate.