| mREAL_LITERAL() |  | 0% |  | 0% | 48 | 48 | 117 | 117 | 1 | 1 |
| mINCLUDE() |  | 0% |  | 0% | 49 | 49 | 67 | 67 | 1 | 1 |
| mOctalEscape() |  | 0% |  | 0% | 27 | 27 | 65 | 65 | 1 | 1 |
| mSINGLE_COMMENT() |  | 0% |  | 0% | 35 | 35 | 59 | 59 | 1 | 1 |
| mTokens() |   | 34% |   | 31% | 66 | 96 | 129 | 193 | 0 | 1 |
| mEscapeSequence() |  | 0% |  | 0% | 22 | 22 | 27 | 27 | 1 | 1 |
| mINT_LITERAL() |   | 36% |   | 25% | 34 | 37 | 57 | 85 | 0 | 1 |
| mExponent() |  | 0% |  | 0% | 14 | 14 | 34 | 34 | 1 | 1 |
| mSTRING_LITERAL() |  | 0% |  | 0% | 16 | 16 | 25 | 25 | 1 | 1 |
| mCOMMENT() |  | 0% |  | 0% | 12 | 12 | 26 | 26 | 1 | 1 |
| mCHAR_LITERAL() |  | 0% |  | 0% | 7 | 7 | 14 | 14 | 1 | 1 |
| mNEWLINE() |  | 0% |  | 0% | 7 | 7 | 27 | 27 | 1 | 1 |
| mDIGIT() |  | 0% |  | 0% | 3 | 3 | 8 | 8 | 1 | 1 |
| mWHITESPACE() |   | 70% |   | 67% | 4 | 7 | 6 | 24 | 0 | 1 |
| PragmaStringLexer() |  | 0% | | n/a | 1 | 1 | 4 | 4 | 1 | 1 |
| mSTATIC() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mCONST() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDERIVATIVE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSYSTEM() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mGUARD() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mANY() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSMOOTH() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mIS() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mBOOLEAN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mFLOAT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mTRUE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mFALSE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mAT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mIF() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mELSE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mWHILE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mFOR() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mVOID() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mRETURN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSEND() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mRECV() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mIMPL() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mINPUT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mOUTPUT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSHARED() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSELECT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mWHEN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mFORALL() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mEXISTS() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mMALLOC() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mTUPLE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSTRUCT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSIZEOF() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mTYPEDEF() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mLCURLY() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mRCURLY() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mCOLON() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mMULTI() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDIV() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mOR() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mNOT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mQMARK() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mADDR_OF() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mARROW() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDOUBLE_PLUS() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDOUBLE_SUB() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mPLUS_ASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mSUB_ASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mMULTI_ASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDIV_ASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mMOD_ASSIGN() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mNEQ() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mLT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mGT() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mGTE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mDEFINE() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mBAR() |  | 0% | | n/a | 1 | 1 | 8 | 8 | 1 | 1 |
| mIDENTIFIER() |   | 86% |   | 77% | 7 | 16 | 4 | 20 | 0 | 1 |
| mLETTER() |   | 71% |   | 60% | 4 | 6 | 4 | 8 | 0 | 1 |
| mSYS_VAR() |   | 75% |   | 71% | 2 | 5 | 3 | 19 | 0 | 1 |
| mABSTRACT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mASSERT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mASSUME() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mCONTINUOUS() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mCHAR() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mINT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mDOUBLE() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mSPEC() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mLPAREN() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mRPAREN() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mLSQUARE() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mRSQUARE() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mSEMI() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mCOMMA() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mDOT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mPLUS() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mSUB() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mMOD() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mAND() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mEQ() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mLTE() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mPRAGMA() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mTASS() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mINVARIANT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mJOINT() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| mCOLLECTIVE() |  | 85% | | n/a | 0 | 1 | 1 | 8 | 0 | 1 |
| getDelegates() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| getGrammarFileName() | | 0% | | n/a | 1 | 1 | 1 | 1 | 1 | 1 |
| static {...} |  | 100% |  | 100% | 0 | 4 | 0 | 34 | 0 | 1 |
| PragmaStringLexer(CharStream, RecognizerSharedState) |  | 100% | | n/a | 0 | 1 | 0 | 5 | 0 | 1 |
| PragmaStringLexer(CharStream) | | 100% | | n/a | 0 | 1 | 0 | 2 | 0 | 1 |