X-Git-Url: http://andersk.mit.edu/gitweb/splint.git/blobdiff_plain/3cf0f8a8618810aaaf7ece472e8b2c28a9c7b4f0..f5ac53de936db2ac22f6878d5516e00c222a395f:/src/lltok.c diff --git a/src/lltok.c b/src/lltok.c index c9aaa6e..604dfd1 100644 --- a/src/lltok.c +++ b/src/lltok.c @@ -94,6 +94,19 @@ bool lltok_isLe_Op (lltok tok) /* end drl7x added */ +/*drl7x added 11 30 2000*/ +bool lltok_isPlus_Op (lltok tok) +{ + return (tok.tok == TPLUS); +} + +bool lltok_isMinus_Op (lltok tok) +{ + return (tok.tok == TMINUS); +} + +/*end drl added */ + cstring lltok_unparse (lltok tok) {