Removed some .out files.

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index a7dc16d87f32cd77273ef0a7bf306d5fab0de2e5..26dbaa3bc977fda29bf85a76f9b18ded3cc7a02b 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -63,9 +63,9 @@ constraintList_grow (constraintList s)
   s->elements = newelements;
 }
 
-void constraintList_exprNodemerge()
-{
-}
+/*  void constraintList_exprNodemerge(void) */
+/*  { */
+/*  } */
 constraintList 
 constraintList_add (constraintList s, constraint el)
 {
@@ -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,19 @@ constraintList_print (constraintList s)
   return st;
 }
 
+void constraintList_printError (constraintList s, fileloc loc)
+{
+
+  constraintList_elements (s, elem)
+    {
+      if (elem != NULL)
+       {
+         constraint_printError (elem, loc);
+       }
+    }
+  end_constraintList_elements;
+  return;
+}
 
 cstring
 constraintList_printDetailed (constraintList s)
@@ -234,7 +249,7 @@ constraintList_copy (constraintList s)
 
 constraintList constraintList_preserveOrig (constraintList c)
 {
-  constraintList_elements (c, el);
+  constraintList_elements (c, el)
   {
     el = constraint_preserveOrig (el);
   }
@@ -242,7 +257,45 @@ constraintList constraintList_preserveOrig (constraintList c)
   return c;
 }
 
+constraintList constraintList_addGeneratingExpr (constraintList c, exprNode e)
+{
+  DPRINTF ((message ("entering constraintList_addGeneratingExpr for %s ", exprNode_unparse(e) ) ));
+  
+  constraintList_elements (c, el)
+  {
+    DPRINTF ((message ("setting generatingExpr for %s to %s", constraint_print(el), exprNode_unparse(e) )  ));
+    el = constraint_addGeneratingExpr (el, e);
+  }
+  end_constraintList_elements;
+  return c;
+}
+
+constraintList constraintList_doFixResult (constraintList postconditions, exprNode fcnCall)
+{
+  constraintList ret;
+  ret = constraintList_new();
+  constraintList_elements (postconditions, el)
+    {
+      ret = constraintList_add (ret, constraint_doFixResult (el, fcnCall) );
+    }
+  end_constraintList_elements;
+
+  return ret;
+}
+
+constraintList constraintList_doSRefFixConstraintParam (constraintList preconditions, exprNodeList arglist)
+{
+  constraintList ret;
+  ret = constraintList_new();
 
+  constraintList_elements (preconditions, el)
+    {
+      ret = constraintList_add(ret, constraint_doSRefFixConstraintParam (el, arglist) );
+    }
+  end_constraintList_elements;
+
+  return ret;
+}
 constraintList constraintList_doSRefFixBaseParam (constraintList preconditions,
                                                   exprNodeList arglist)
 {
@@ -258,5 +311,14 @@ constraintList constraintList_doSRefFixBaseParam (constraintList preconditions,
   return ret;
 }
 
+constraintList constraintList_togglePost (/*@returned@*/ constraintList c)
+{
+  constraintList_elements (c, el)
+    {
+      el->post = !el->post;
+    }
+  end_constraintList_elements;
+  return c;
+}