/*
** LCLint - annotation-assisted static program checker
-** Copyright (C) 1994-2000 University of Virginia,
+** Copyright (C) 1994-2001 University of Virginia,
** Massachusetts Institute of Technology
**
** This program is free software; you can redistribute it and/or modify it
{
return (tok.tok == TTILDE);
}
-
/*end drl added */
+bool lltok_isEnsures (lltok tok)
+{
+ return (tok.tok == QPOSTCLAUSE);
+}
+
+bool lltok_isRequires (lltok tok)
+{
+ return (tok.tok == QPRECLAUSE);
+}
cstring
lltok_unparse (lltok tok)
case QCHECKEDSTRICT: lit = "checkedstrict"; break;
case QCHECKMOD: lit = "checkmod"; break;
case QUNCHECKED: lit = "unchecked"; break;
+ case QPRECLAUSE: lit = "requires"; break;
+ case QPOSTCLAUSE: lit = "ensures"; break;
case QTRUENULL: lit = "truenull"; break;
case QFALSENULL: lit = "falsenull"; break;
case QRETURNED: lit = "returned"; break;
case QRELEASES: lit = "releases"; break;
case QSETBUFFERSIZE: lit = "setBufferSize"; break;
case QSETSTRINGLENGTH: lit = "setStringLength"; break;
- default: lit = "bad "; break;
- // BADDEFAULT;
+ BADDEFAULT;
}
return cstring_makeLiteralTemp (lit);
fileloc_free (t.loc);
}
+fileloc lltok_stealLoc (lltok t)
+{
+ fileloc res = t.loc;
+ t.loc = fileloc_undefined;
+ return res;
+}