Improved tracking of state change locations. Added +showdeephistory

[splint.git] / src / lltok.c

diff --git a/src/lltok.c b/src/lltok.c
index 4906dc5bab323b707bc6341df1e22493eb16920b..1d19d4c60ca47f8cca44d0dcfc4f5ef9fbc896e9 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.c
@@ -43,35 +43,40 @@ lltok_isMult (lltok tok)
   return (tok->tok == TMULT);
 }
 
-bool lltok_isInc_Op (lltok tok)
+bool lltok_isIncOp (lltok tok)
 {
   return (tok->tok == INC_OP);
 }
 
-bool lltok_isDec_Op  (lltok tok)
+bool lltok_isDecOp  (lltok tok)
 {
   return (tok->tok == DEC_OP);
 }
 
 
 /* DRL added this function 10/23/2000 for boolean stuff */
-bool lltok_isEq_Op (lltok tok)
+bool lltok_isEqOp (lltok tok)
 {
   return (tok->tok == EQ_OP);
 }
 
+bool lltok_isNotEqOp (lltok tok)
+{
+  return (tok->tok == NE_OP);
+}
+
 /* DRL added this function 10/25/2000 for boolean stuff */
-bool lltok_isAnd_Op (lltok tok)
+bool lltok_isAndOp (lltok tok)
 {
   return (tok->tok == AND_OP);
 }
 
-bool lltok_isOr_Op (lltok tok)
+bool lltok_isOrOp (lltok tok)
 {
   return (tok->tok == OR_OP);
 }
 
-bool lltok_isNot_Op (lltok tok)
+bool lltok_isNotOp (lltok tok)
 {
   return (tok->tok ==  TEXCL);
 }
@@ -271,3 +276,16 @@ void lltok_free (lltok t)
   sfree (t);
 }
 
+void lltok_free2 (lltok t1, lltok t2) 
+{
+  lltok_free (t1);
+  lltok_free (t2);
+}
+
+void lltok_free3 (lltok t1, lltok t2, lltok t3) 
+{
+  lltok_free (t1);
+  lltok_free (t2);
+  lltok_free (t3);
+}
+