|
Public Member Functions |
| bool | getCaseSensitiveLiterals () const |
| | TPTPLexer (ANTLR_USE_NAMESPACE(std) istream &in) |
| | TPTPLexer (ANTLR_USE_NAMESPACE(antlr) InputBuffer &ib) |
| | TPTPLexer (const ANTLR_USE_NAMESPACE(antlr) LexerSharedInputState &state) |
| | ANTLR_USE_NAMESPACE (antlr) RefToken nextToken() |
| void | mSKIP_RULE (bool _createToken) |
| void | mCOMMENT_LINE (bool _createToken) |
| void | mFILE_NAME (bool _createToken) |
| void | mLPAR (bool _createToken) |
| void | mRPAR (bool _createToken) |
| void | mLBRA (bool _createToken) |
| void | mRBRA (bool _createToken) |
| void | mCOMMA (bool _createToken) |
| void | mCOLON (bool _createToken) |
| void | mDOT (bool _createToken) |
| void | mAND (bool _createToken) |
| void | mNOT (bool _createToken) |
| void | mOR (bool _createToken) |
| void | mIFF (bool _createToken) |
| void | mIMP (bool _createToken) |
| void | mXOR (bool _createToken) |
| void | mFORALL (bool _createToken) |
| void | mEXISTS (bool _createToken) |
| void | mPP (bool _createToken) |
| void | mMM (bool _createToken) |
| void | mNAME (bool _createToken) |
| void | mVAR (bool _createToken) |
Protected Member Functions |
| void | mUPPER (bool _createToken) |
| void | mLOWER (bool _createToken) |
| void | mDIGIT (bool _createToken) |
| void | mWHITE (bool _createToken) |
| void | mNUMBER (bool _createToken) |
| void | mWORDCHAR (bool _createToken) |
| void | mCHARACTER (bool _createToken) |
| void | mQUOTE (bool _createToken) |
Private Member Functions |
| void | initLiterals () |
Static Private Member Functions |
| const | ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_0 |
| const | ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_1 |
| const | ANTLR_USE_NAMESPACE (antlr) BitSet _tokenSet_2 |
Static Private Attributes |
| const unsigned long | _tokenSet_0_data_ [] = { 4294966271UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 4294967295UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL, 0UL } |
| const unsigned long | _tokenSet_1_data_ [] |
| const unsigned long | _tokenSet_2_data_ [] |
This library is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for more details.
You should have received a copy of the GNU Lesser General Public License along with this library; if not, write to the Free Software Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA