Prewinter break editing commit.

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index a7dc16d87f32cd77273ef0a7bf306d5fab0de2e5..0a38d9a2127a173a585cbba62e4dfe4eeb5d04d7 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -90,13 +90,15 @@ constraintList constraintList_addList (constraintList s, constraintList new)
     return s;
   
   constraintList_elements(new, elem)
+    {
     s = constraintList_add (s, elem);
+    }
   end_constraintList_elements
     return s;
 }
 
 cstring
-constraintList_print (constraintList s)
+constraintList_print (constraintList s) /*@*/
 {
   int i;
   cstring st = cstring_undefined;
@@ -129,6 +131,29 @@ constraintList_print (constraintList s)
   return st;
 }
 
+void constraintList_printError (constraintList s, fileloc loc)
+{
+
+  int i;
+  cstring st = cstring_undefined;
+  bool first = TRUE;
+
+  if (s->nelements == 0)
+    {
+      return;
+    }
+  
+  for (i = 0; i < s->nelements; i++)
+    {
+      constraint current = s->elements[i];
+
+      if (current != NULL)
+       {
+         constraint_printError (current,loc);
+       }
+    }
+  return;
+}
 
 cstring
 constraintList_printDetailed (constraintList s)
@@ -234,7 +259,7 @@ constraintList_copy (constraintList s)
 
 constraintList constraintList_preserveOrig (constraintList c)
 {
-  constraintList_elements (c, el);
+  constraintList_elements (c, el)
   {
     el = constraint_preserveOrig (el);
   }