00001 #ifndef INC_KIFLexer_hpp_ 00002 #define INC_KIFLexer_hpp_ 00003 00004 #include "antlr/config.hpp" 00005 /* $ANTLR 2.7.1: "KIF.g" -> "KIFLexer.hpp"$ */ 00006 #include "antlr/CommonToken.hpp" 00007 #include "antlr/InputBuffer.hpp" 00008 #include "antlr/BitSet.hpp" 00009 #include "KIFLexerTokenTypes.hpp" 00010 #include "antlr/CharScanner.hpp" 00011 #line 20 "KIF.g" 00012 00013 // head of lexer file 00014 #include <iostream> 00015 #include "Formula.hpp" 00016 00017 #line 18 "KIFLexer.hpp" 00018 class KIFLexer : public ANTLR_USE_NAMESPACE(antlr)CharScanner, public KIFLexerTokenTypes 00019 { 00020 #line 1 "KIF.g" 00021 #line 22 "KIFLexer.hpp" 00022 private: 00023 void initLiterals(); 00024 public: 00025 bool getCaseSensitiveLiterals() const; 00026 public: 00027 KIFLexer(ANTLR_USE_NAMESPACE(std)istream& in); 00028 KIFLexer(ANTLR_USE_NAMESPACE(antlr)InputBuffer& ib); 00029 KIFLexer(const ANTLR_USE_NAMESPACE(antlr)LexerSharedInputState& state); 00030 ANTLR_USE_NAMESPACE(antlr)RefToken nextToken(); 00031 protected: void mUPPER(bool _createToken); 00032 protected: void mLOWER(bool _createToken); 00033 protected: void mDIGIT(bool _createToken); 00034 protected: void mSPECIAL(bool _createToken); 00035 protected: void mWHITE(bool _createToken); 00036 protected: void mINITIALCHAR(bool _createToken); 00037 protected: void mWORDCHAR(bool _createToken); 00038 protected: void mCHARACTER(bool _createToken); 00039 protected: void mTICK(bool _createToken); 00040 public: void mWORD(bool _createToken); 00041 public: void mSTRING(bool _createToken); 00042 public: void mVARIABLE(bool _createToken); 00043 protected: void mFIGURE(bool _createToken); 00044 public: void mNUMBER(bool _createToken); 00045 protected: void mEXPONENT(bool _createToken); 00046 public: void mQUOTE(bool _createToken); 00047 public: void mSKIP_RULE(bool _createToken); 00048 public: void mCOMMENT_LINE(bool _createToken); 00049 public: void mLPAR(bool _createToken); 00050 public: void mRPAR(bool _createToken); 00051 public: void mLESS(bool _createToken); 00052 public: void mMORE(bool _createToken); 00053 public: void mLESSEQ(bool _createToken); 00054 public: void mGEQ(bool _createToken); 00055 public: void mIMPLY(bool _createToken); 00056 public: void mEQUIVALENCE(bool _createToken); 00057 private: 00058 00059 static const unsigned long _tokenSet_0_data_[]; 00060 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_0; 00061 static const unsigned long _tokenSet_1_data_[]; 00062 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_1; 00063 static const unsigned long _tokenSet_2_data_[]; 00064 static const ANTLR_USE_NAMESPACE(antlr)BitSet _tokenSet_2; 00065 }; 00066 00067 #endif /*INC_KIFLexer_hpp_*/