noexpand always false.

[splint.git] / src / ctypeList.c

diff --git a/src/ctypeList.c b/src/ctypeList.c
index c5fab28994fe2d0fba656ff9e8ad2a9650d105dc..003742208d2bd51894c93315689be649926ba222 100644 (file)
--- a/src/ctypeList.c
+++ b/src/ctypeList.c
@@ -1,6 +1,6 @@
 /*
-** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Splint - annotation-assisted static program checker
+** Copyright (C) 1994-2003 University of Virginia,
 **         Massachusetts Institute of Technology
 **
 ** This program is free software; you can redistribute it and/or modify it
@@ -17,9 +17,9 @@
 ** the Free Software Foundation, Inc., 59 Temple Place - Suite 330, Boston,
 ** MA 02111-1307, USA.
 **
-** For information on lclint: lclint-request@cs.virginia.edu
-** To report a bug: lclint-bug@cs.virginia.edu
-** For more information: http://lclint.cs.virginia.edu
+** For information on splint: info@splint.org
+** To report a bug: splint-bug@splint.org
+** For more information: http://www.splint.org
 */
 /*
 ** ctypeList.c
@@ -29,7 +29,7 @@
 ** where T has T_equal (or change this) and T_unparse
 */
 
-# include "lclintMacros.nf"
+# include "splintMacros.nf"
 # include "basic.h"
 
 /*@only@*/ ctypeList
@@ -79,6 +79,31 @@ void ctypeList_addh (ctypeList s, ctype el)
   s->nelements++;
 }
 
+ctypeList ctypeList_add (ctypeList s, ctype el)
+{
+  llassert (ctypeListBASESIZE > 0);
+
+  if (ctypeList_isUndefined (s))
+    {
+      s = ctypeList_new ();
+    }
+
+  ctypeList_addh (s, el);
+  return s;
+}
+
+ctypeList ctypeList_append (ctypeList s1, ctypeList s2)
+{
+  ctypeList res = s1;
+
+  ctypeList_elements (s2, el)
+    {
+      res = ctypeList_add (res, el);
+    } end_ctypeList_elements;
+
+  return res;
+}
+      
 /*@only@*/ cstring
 ctypeList_unparse (ctypeList ct)
 {