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

KIFLexer.hpp

Go to the documentation of this file.
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_*/

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