Added pointers.c and pointers.h to CVS.

diff --git a/src/Headers/pointers.h b/src/Headers/pointers.h
new file mode 100644 (file)
index 0000000..8bf2bf3
--- /dev/null
+++ b/src/Headers/pointers.h
@@ -0,0 +1,40 @@
+/*
+** Copyright (C) University of Virginia, Massachusetts Institue of Technology 1994-2001.
+** See ../LICENSE for license information.
+*/
+# ifndef POINTERS_H
+# define POINTERS_H
+
+struct s_pointers {
+  qualList quals;
+  /*@null@*/ pointers rest;
+} ;
+
+/*@constant null pointers pointers_undefined; @*/
+# define pointers_undefined ((pointers) NULL)
+
+extern /*@nullwhentrue@*/ bool pointers_isUndefined (/*@special@*/ pointers p_e) /*@*/ ;
+extern /*@falsewhennull@*/ bool pointers_isDefined (/*@special@*/ pointers p_e) /*@*/ ;
+
+# define pointers_isUndefined(e) ((e) == pointers_undefined)
+# define pointers_isDefined(e)   ((e) != pointers_undefined)
+
+extern pointers pointers_create (lltok p_tok) /*@*/ ;
+extern pointers pointers_createMods (lltok p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
+extern pointers pointers_createMt (mttok p_tok) /*@*/ ;
+extern pointers pointers_createLt (ltoken p_tok) /*@*/ ;
+extern pointers pointers_createModsLt (ltoken p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
+extern pointers pointers_createModsMt (mttok p_tok, /*@only@*/ qualList p_quals) /*@*/ ;
+extern pointers pointers_extend (/*@returned@*/ pointers p_p1, /*@only@*/ pointers p_p2) /*@modifies p_p1@*/ ;
+extern /*@observer@*/ pointers pointers_getRest (pointers) /*@*/ ;
+
+extern int pointers_depth (pointers p_p) /*@*/ ;
+extern cstring pointers_unparse (pointers) /*@*/ ;
+extern void pointers_free (/*@only@*/ pointers) ;
+
+# else
+# error "Multiple include"
+# endif
+
+
+

diff --git a/src/pointers.c b/src/pointers.c
new file mode 100644 (file)
index 0000000..b556354
--- /dev/null
+++ b/src/pointers.c
@@ -0,0 +1,143 @@
+/*
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2002 University of Virginia,
+**         Massachusetts Institute of Technology
+**
+** This program is free software; you can redistribute it and/or modify it
+** under the terms of the GNU General Public License as published by the
+** Free Software Foundation; either version 2 of the License, or (at your
+** option) any later version.
+** 
+** This program is distributed in the hope that it will be useful, but
+** WITHOUT ANY WARRANTY; without even the implied warranty of
+** MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
+** General Public License for more details.
+** 
+** The GNU General Public License is available from http://www.gnu.org/ or
+** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
+** MA 02111-1307, USA.
+**
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
+** For more information: http://www.splint.org
+*/
+/*
+** pointers.c
+*/
+
+# include "splintMacros.nf"
+# include "basic.h"
+
+pointers pointers_create (lltok tok)
+{
+  return pointers_createMods (tok, qualList_undefined);
+}
+
+pointers pointers_createMods (/*@unused@*/ lltok tok, qualList quals)
+{
+  pointers res = (pointers) dmalloc (sizeof (*res));
+
+  res->quals = quals;
+  res->rest = pointers_undefined;
+
+  return res;
+}
+
+pointers pointers_createMt (mttok tok)
+{
+  return pointers_createModsMt (tok, qualList_undefined);
+}
+
+pointers pointers_createLt (ltoken tok)
+{
+  return pointers_createModsLt (tok, qualList_undefined);
+}
+
+pointers pointers_createModsMt (/*@unused@*/ mttok tok, qualList quals)
+{
+  pointers res = (pointers) dmalloc (sizeof (*res));
+
+  res->quals = quals;
+  res->rest = pointers_undefined;
+
+  return res;
+}
+
+pointers pointers_createModsLt (/*@unused@*/ ltoken tok, qualList quals)
+{
+  pointers res = (pointers) dmalloc (sizeof (*res));
+
+  res->quals = quals;
+  res->rest = pointers_undefined;
+
+  return res;
+}
+
+pointers pointers_extend (pointers p1, pointers p2)
+{
+  llassert (pointers_isDefined (p1));
+  llassert (pointers_isUndefined (p1->rest));
+  p1->rest = p2;
+  return p1;
+}
+
+pointers pointers_getRest (pointers p)
+{
+  llassert (pointers_isDefined (p));
+  return p->rest;
+}
+
+cstring pointers_unparse (pointers p)
+{
+  if (pointers_isDefined (p))
+    {
+      if (qualList_isDefined (p->quals))
+       {
+         if (pointers_isDefined (p->rest))
+           {
+             return (message ("* %q %q", qualList_unparse (p->quals), pointers_unparse (p->rest)));
+           }
+         else
+           {
+             return (message ("* %q", qualList_unparse (p->quals)));
+           }
+       }
+      else
+       {
+         if (pointers_isDefined (p->rest))
+           {
+             return (message ("* %q", pointers_unparse (p->rest)));
+           }
+         else
+           {
+             return (cstring_makeLiteral ("*"));
+           }
+       }
+    }
+  else
+    {
+      return cstring_undefined;
+    }
+}
+
+int pointers_depth (pointers p)
+{
+  if (pointers_isUndefined (p))
+    {
+      return 0;
+    }
+  else
+    {
+      return 1 + pointers_depth (p->rest);
+    }
+}
+
+void pointers_free (/*@only@*/ pointers p)
+{
+  if (pointers_isDefined (p))
+    {
+      qualList_free (p->quals);
+      pointers_free (p->rest);
+      sfree (p);
+    }
+}