00001
00027 #ifndef INC_TPTPLexer_hpp_
00028 #define INC_TPTPLexer_hpp_
00029
00030 #include "antlr/config.hpp"
00031
00032 #include "antlr/CommonToken.hpp"
00033 #include "antlr/InputBuffer.hpp"
00034 #include "antlr/BitSet.hpp"
00035 #include "TPTPLexerTokenTypes.hpp"
00036 #include "antlr/CharScanner.hpp"
00037 #line 19 "TPTP.g"
00038
00039 #include <iostream>
00040 #include "Unit.hpp"
00041
00042 #line 17 "TPTPLexer.hpp"
00043 class TPTPLexer : public ANTLR_USE_NAMESPACE(antlr)CharScanner, public TPTPLexerTokenTypes
00044 {
00045 #line 1 "TPTP.g"
00046 #line 21 "TPTPLexer.hpp"
00047 private:
00048 void initLiterals();
00049 public:
00050 bool getCaseSensitiveLiterals() const;
00051 public:
00052 TPTPLexer(ANTLR_USE_NAMESPACE(std)istream& in);
00053 TPTPLexer(ANTLR_USE_NAMESPACE(antlr)InputBuffer& ib);
00054 TPTPLexer(const ANTLR_USE_NAMESPACE(antlr)LexerSharedInputState& state);
00055 ANTLR_USE_NAMESPACE(antlr)RefToken nextToken();
00056 protected: void mUPPER(bool _createToken);
00057 protected: void mLOWER(bool _createToken);
00058 protected: void mDIGIT(bool _createToken);
00059 protected: void mWHITE(bool _createToken);
00060 protected: void mNUMBER(bool _createToken);
00061 protected: void mWORDCHAR(bool _createToken);
00062 protected: void mCHARACTER(bool _createToken);
00063 public: void mSKIP_RULE(bool _createToken);
00064 public: void mCOMMENT_LINE(bool _createToken);
00065 protected: void mQUOTE(bool _createToken);
00066 public: void mFILE_NAME(bool _createToken);
00067 public: void mLPAR(bool _createToken);
00068 public: void mRPAR(bool _createToken);
00069 public: void mLBRA(bool _createToken);
00070 public: void mRBRA(bool _createToken);
00071 public: void mCOMMA(bool _createToken);
00072 public: void mCOLON(bool _createToken);
00073 public: void mDOT(bool _createToken);
00074 public: void mAND(bool _createToken);
00075 public: void mNOT(bool _createToken);
00076 public: void mOR(bool _createToken);
00077 public: void mIFF(bool _createToken);
00078 public: void mIMP(bool _createToken);
00079 public: void mXOR(bool _createToken);
00080 public: void mFORALL(bool _createToken);
00081 public: void mEXISTS(bool _createToken);
00082 public: void mPP(bool _createToken);
00083 public: void mMM(bool _createToken);
00084 public: void mNAME(bool _createToken);
00085 public: void mVAR(bool _createToken);
00086 private:
00087
00088 static const unsigned long _tokenSet_0_data_[];
00089 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_0;
00090 static const unsigned long _tokenSet_1_data_[];
00091 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_1;
00092 static const unsigned long _tokenSet_2_data_[];
00093 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_2;
00094 };
00095
00096 #endif