Main Page | Namespace List | Class Hierarchy | Compound List | File List | Compound Members | File Members | Related Pages

TPTPLexer.hpp

Go to the documentation of this file.
00001 
00027 #ifndef INC_TPTPLexer_hpp_
00028 #define INC_TPTPLexer_hpp_
00029 
00030 #include "antlr/config.hpp"
00031 /* $ANTLR 2.7.1: "TPTP.g" -> "TPTPLexer.hpp"$ */
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 /*INC_TPTPLexer_hpp_*/

Generated on Sat Jun 28 15:08:58 2003 for Vampire by doxygen 1.3.2