Making changes to try to support loops.

[splint.git] / src / Headers / constraintTerm.h

diff --git a/src/Headers/constraintTerm.h b/src/Headers/constraintTerm.h
index 95ab19af7a2476af567417cd923272ebb24c1593..31ba0ba584e8a18f906427dad9834c37ef99d287 100644 (file)
--- a/src/Headers/constraintTerm.h
+++ b/src/Headers/constraintTerm.h
@@ -45,6 +45,20 @@ bool constraintTerm_probSame (constraintTerm term1, constraintTerm term2);
 
 
 constraintTerm constraintTerm_doSRefFixBaseParam (constraintTerm term, exprNodeList arglist);
+
+constraintExpr 
+constraintTerm_doSRefFixConstraintParam (constraintExpr e, exprNodeList arglist);
+
+constraintTerm constraintTerm_setFileloc (constraintTerm term, fileloc loc);
+cstring constraintTerm_print (constraintTerm term);
+constraintTerm constraintTerm_makeIntLiteral (int i);
+
+bool constraintTerm_isStringLiteral (constraintTerm c);
+cstring constraintTerm_getStringLiteral (constraintTerm c);
+
+constraintExpr 
+constraintTerm_doFixResult (constraintExpr e, exprNode fcnCall);
+
 #endif