Added check of user specified post conditions.

[splint.git] / src / constraintList.c

diff --git a/src/constraintList.c b/src/constraintList.c
index fa1dbd854667baa5f8729bc0175aff684fda4c44..1ce9f550a908ade2265fe9097b02c240e35ecb89 100644 (file)
--- a/src/constraintList.c
+++ b/src/constraintList.c
@@ -190,6 +190,21 @@ constraintList_print (constraintList s) /*@*/
   return st;
 }
 
+void constraintList_printErrorPostConditions (constraintList s, fileloc loc)
+{
+
+  constraintList_elements (s, elem)
+    {
+      if (elem != NULL)
+       {
+         constraint_printErrorPostCondition (elem, loc);
+       }
+    }
+  end_constraintList_elements;
+  return;
+}
+
+
 void constraintList_printError (constraintList s, fileloc loc)
 {
 
@@ -204,6 +219,7 @@ void constraintList_printError (constraintList s, fileloc loc)
   return;
 }
 
+
 cstring
 constraintList_printDetailed (constraintList s)
 {