Main Page   Alphabetical List   Compound List   File List   Compound Members   File Members  

initDeclNodeList.c

Go to the documentation of this file.
00001 /*
00002 ** LCLint - annotation-assisted static program checker
00003 ** Copyright (C) 1994-2000 University of Virginia,
00004 **         Massachusetts Institute of Technology
00005 **
00006 ** This program is free software; you can redistribute it and/or modify it
00007 ** under the terms of the GNU General Public License as published by the
00008 ** Free Software Foundation; either version 2 of the License, or (at your
00009 ** option) any later version.
00010 ** 
00011 ** This program is distributed in the hope that it will be useful, but
00012 ** WITHOUT ANY WARRANTY; without even the implied warranty of
00013 ** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
00014 ** General Public License for more details.
00015 ** 
00016 ** The GNU General Public License is available from http://www.gnu.org/ or
00017 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
00018 ** MA 02111-1307, USA.
00019 **
00020 ** For information on lclint: lclint-request@cs.virginia.edu
00021 ** To report a bug: lclint-bug@cs.virginia.edu
00022 ** For more information: http://lclint.cs.virginia.edu
00023 */
00024 /*
00025 ** initDeclNodeList.c
00026 **
00027 ** based on list_template.c
00028 **
00029 ** where T has T_equal (or change this) and T_unparse
00030 */
00031 
00032 # include "lclintMacros.nf"
00033 # include "llbasic.h"
00034 
00035 /*@only@*/ initDeclNodeList
00036 initDeclNodeList_new ()
00037 {
00038   initDeclNodeList s = (initDeclNodeList) dmalloc (sizeof (*s));
00039   
00040   s->nelements = 0;
00041   s->nspace = initDeclNodeListBASESIZE;
00042   s->elements = (initDeclNode *)
00043     dmalloc (sizeof (*s->elements) * initDeclNodeListBASESIZE);
00044 
00045   return (s);
00046 }
00047 
00048 static void
00049 initDeclNodeList_grow (initDeclNodeList s)
00050 {
00051   int i;
00052   initDeclNode *newelements;
00053 
00054   s->nspace += initDeclNodeListBASESIZE;
00055   newelements = (initDeclNode *) dmalloc (sizeof (*newelements)
00056                                           * (s->nelements + s->nspace));
00057 
00058   for (i = 0; i < s->nelements; i++)
00059     {
00060       newelements[i] = s->elements[i];
00061     }
00062 
00063   sfree (s->elements);
00064   s->elements = newelements;
00065 }
00066 
00067 initDeclNodeList
00068 initDeclNodeList_add (initDeclNodeList s, initDeclNode el)
00069 {
00070   if (s->nspace <= 0)
00071     initDeclNodeList_grow (s);
00072 
00073   s->nspace--;
00074   s->elements[s->nelements] = el;
00075   s->nelements++;
00076 
00077   return s;
00078 }
00079 
00080 /*@only@*/ cstring
00081 initDeclNodeList_unparse (initDeclNodeList s)
00082 {
00083   cstring st = cstring_undefined;
00084   bool first = TRUE;
00085 
00086   initDeclNodeList_elements (s, current)
00087   {
00088     if (first)
00089       {
00090         first = FALSE;
00091         st = declaratorNode_unparse (current->declarator);
00092       }
00093     else
00094       {
00095         st = message ("%q, %q", st, declaratorNode_unparse (current->declarator));
00096       }
00097 
00098     if (current->value != (termNode) 0)
00099       {
00100         st = message ("%q = %q", st, termNode_unparse (current->value));
00101       }
00102   } end_initDeclNodeList_elements;
00103 
00104   return st;
00105 }
00106 
00107 void
00108 initDeclNodeList_free (initDeclNodeList s)
00109 {
00110   int i;
00111   for (i = 0; i < s->nelements; i++)
00112     {
00113       initDeclNode_free (s->elements[i]);
00114     }
00115 
00116   sfree (s->elements);
00117   sfree (s);
00118 }

Generated at Fri Nov 3 18:57:41 2000 for LCLint by doxygen1.2.3 written by Dimitri van Heesch, © 1997-2000