src/lsymbolSet.c

   1 /*
   2 ** Splint - annotation-assisted static program checker
   3 ** Copyright (C) 1994-2003 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 splint: info@splint.org
  21 ** To report a bug: splint-bug@splint.org
  22 ** For more information: http://www.splint.org
  23 */
  24 /*
  25 ** lsymbolSet.c
  26 **
  27 ** based on set_template.c
  28 **
  29 ** where T has T_equal (or change this) and T_unparse
  30 */
  31
  32 # include "splintMacros.nf"
  33 # include "basic.h"
  34
  35 /*@constant int lsymbolSetBASESIZE;@*/
  36 # define lsymbolSetBASESIZE MIDBASESIZE
  37
  38 lsymbolSet lsymbolSet_new (void)
  39 {
  40   lsymbolSet s = (lsymbolSet) dmalloc (sizeof (*s));
  41
  42   s->entries = 0;
  43   s->nspace = lsymbolSetBASESIZE;
  44   s->elements = (lsymbol *) dmalloc (sizeof (*s->elements) * lsymbolSetBASESIZE);
  45
  46   return (s);
  47 }
  48
  49 static void
  50 lsymbolSet_grow (lsymbolSet s)
  51 {
  52   int i;
  53   lsymbol *newelements;
  54
  55   llassert (lsymbolSet_isDefined (s));
  56
  57   s->nspace = lsymbolSetBASESIZE;
  58   newelements = (lsymbol *) dmalloc (sizeof (*newelements)
  59                                        * (s->entries + s->nspace));
  60
  61   if (newelements == (lsymbol *) 0)
  62     {
  63       llfatalerror (cstring_makeLiteral ("lsymbolSet_grow: out of memory!"));
  64     }
  65
  66   for (i = 0; i < s->entries; i++)
  67     {
  68       newelements[i] = s->elements[i];
  69     }
  70
  71   sfree (s->elements);
  72   s->elements = newelements;
  73 }
  74
  75 /*
  76 ** Ensures: if *e \in *s
  77 **          then unchanged (*s) & result = false
  78 **          else *s' = insert (*s, *e) & result = true
  79 ** Modifies: *s
  80 */
  81
  82 bool
  83 lsymbolSet_insert (lsymbolSet s, lsymbol el)
  84 {
  85   llassert (lsymbolSet_isDefined (s));
  86
  87   if (lsymbolSet_member (s, el))
  88     {
  89       return FALSE;
  90     }
  91   else
  92     {
  93       if (s->nspace <= 0)
  94         lsymbolSet_grow (s);
  95       s->nspace--;
  96       s->elements[s->entries] = el;
  97       s->entries++;
  98       return TRUE;
  99     }
 100 }
 101
 102 bool
 103 lsymbolSet_member (lsymbolSet s, lsymbol el)
 104 {
 105   if (lsymbolSet_isDefined (s))
 106     {
 107       int i;
 108
 109       for (i = 0; i < s->entries; i++)
 110         {
 111           /* was: &el == &s->elements[i] ! */
 112
 113           if (lsymbol_equal (el, s->elements[i]))
 114             {
 115               return TRUE;
 116             }
 117         }
 118     }
 119
 120   return FALSE;
 121 }
 122
 123 # ifdef DEADCODE
 124 /*@only@*/ cstring
 125 lsymbolSet_unparse (lsymbolSet s)
 126 {
 127   if (lsymbolSet_isDefined (s))
 128     {
 129       int i;
 130       cstring st = cstring_makeLiteral ("{");
 131
 132       for (i = 0; i < s->entries; i++)
 133         {
 134           if (i == 0)
 135             {
 136               st = message ("%q %s", st,
 137                             cstring_fromChars (lsymbol_toChars (s->elements[i])));
 138             }
 139           else
 140             st = message ("%q, %s", st,
 141                           cstring_fromChars (lsymbol_toChars (s->elements[i])));
 142         }
 143
 144       st = message ("%q }", st);
 145       return st;
 146     }
 147   else
 148     {
 149       return (cstring_makeLiteral ("{ }"));
 150     }
 151 }
 152 # endif /* DEADCODE */
 153
 154 void
 155 lsymbolSet_free (/*@null@*/ lsymbolSet s)
 156 {
 157   if (lsymbolSet_isDefined (s))
 158     {
 159       sfree (s->elements);
 160       sfree (s);
 161     }
 162 }