X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/78d7b86311318c0ff30050a745bbf646de2e6f2c..470b7798e9c04260b853bd5600fefc03abb04dfe:/src/Headers/constraint.h

diff --git a/src/Headers/constraint.h b/src/Headers/constraint.h
index fb654c4..58b8de6 100644
--- a/src/Headers/constraint.h
+++ b/src/Headers/constraint.h
@@ -92,7 +92,7 @@ constraint constraint_makeEnsureGreaterThanEqual (exprNode e1, exprNode e2, file
 
 /*drl add 11/28/2000 */
 constraint constraint_makeSRefWriteSafeInt (sRef s, int ind);
-
+constraint constraint_makeSRefReadSafeInt (sRef s, int ind);
 /*drl add 11/26/2000 */
 void constraint_printError (constraint c, fileloc loc);
 constraint constraint_doSRefFixConstraintParam (constraint precondition,
@@ -113,6 +113,14 @@ constraint constraint_addGeneratingExpr (/*@returned@*/ constraint c, exprNode e
 
 bool constraint_hasMaxSet(constraint c);
 
+/*from constraintGenreation.c*/
+bool exprNode_exprTraverse (exprNode e, bool definatelv, bool definaterv,  fileloc sequencePoint);
+
+constraintList exprNode_traversRequiresConstraints (exprNode e);
+constraintList exprNode_traversEnsuresConstraints (exprNode e);
+
+
+
 /*@=czechfcns*/
 //#warning take this out
 #include "constraintList.h"