pre addition of functino level annotations.

[splint.git] / src / lltok.c

diff --git a/src/lltok.c b/src/lltok.c
index 624b8e174933ab6b155bc316b8c3294a0b8e1578..93dc6628af4b50fd83b0bb5265b5211cc9adad49 100644 (file)
--- a/src/lltok.c
+++ b/src/lltok.c
@@ -47,6 +47,29 @@ bool lltok_isInc_Op (lltok tok)
 {
   return (tok.tok == INC_OP);
 }
+
+/* DRL added this function 10/23/2000 for boolean stuff */
+bool lltok_isEq_Op (lltok tok)
+{
+  return (tok.tok == EQ_OP);
+}
+
+/* DRL added this function 10/25/2000 for boolean stuff */
+bool lltok_isAnd_Op (lltok tok)
+{
+  return (tok.tok == AND_OP);
+}
+
+bool lltok_isOr_Op (lltok tok)
+{
+  return (tok.tok == OR_OP);
+}
+
+bool lltok_isNot_Op (lltok tok)
+{
+  return (tok.tok ==  TEXCL);
+}
+
 cstring
 lltok_unparse (lltok tok)
 {
@@ -170,3 +193,4 @@ void lltok_release (lltok t)
 {
   fileloc_free (t.loc);
 }
+