*** empty log message ***

[splint.git] / src / mttok.c

diff --git a/src/mttok.c b/src/mttok.c
index 850874f236afa32b7ac4d1a3c2ea9c251ef8b2d1..e718adfb43fa11b4662e85e5efa3111a232461f3 100644 (file)
--- a/src/mttok.c
+++ b/src/mttok.c
@@ -48,6 +48,7 @@ mttok_unparse (mttok tok)
     case MT_DEFAULT:        lit = "default"; break;
     case MT_REFERENCE:      lit = "reference"; break;
     case MT_PARAMETER:      lit = "parameter"; break;
+    case MT_RESULT:         lit = "result"; break;
     case MT_CLAUSE:         lit = "clause"; break;
     case MT_ANNOTATIONS:    lit = "annotations"; break;
     case MT_ARROW:          lit = "==>"; break;
@@ -116,6 +117,11 @@ void mttok_free (mttok t)
   sfree (t);
 }
 
+bool mttok_isError (mttok t)
+{
+  return ((t)->tok == MT_ERROR);
+}
+
 bool mttok_isIdentifier (mttok t)
 {
   return ((t)->tok == MT_IDENT);