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

XMLParser.hpp

Go to the documentation of this file.
00001 #ifndef INC_XMLParser_hpp_
00002 #define INC_XMLParser_hpp_
00003 
00004 #include "antlr/config.hpp"
00005 /* $ANTLR 2.7.1: "XML.g" -> "XMLParser.hpp"$ */
00006 #include "antlr/TokenStream.hpp"
00007 #include "antlr/TokenBuffer.hpp"
00008 #include "XMLLexerTokenTypes.hpp"
00009 #include "antlr/LLkParser.hpp"
00010 
00011 #line 20 "XML.g"
00012 
00013   // head of lexer file
00014 #include <iostream>
00015 #include "Query.hpp"
00016 
00017 #line 18 "XMLParser.hpp"
00018 class XMLParser : public ANTLR_USE_NAMESPACE(antlr)LLkParser, public XMLLexerTokenTypes
00019  {
00020 #line 117 "XML.g"
00021 
00022 #line 22 "XMLParser.hpp"
00023 protected:
00024         XMLParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf, int k);
00025 public:
00026         XMLParser(ANTLR_USE_NAMESPACE(antlr)TokenBuffer& tokenBuf);
00027 protected:
00028         XMLParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer, int k);
00029 public:
00030         XMLParser(ANTLR_USE_NAMESPACE(antlr)TokenStream& lexer);
00031         XMLParser(const ANTLR_USE_NAMESPACE(antlr)ParserSharedInputState& state);
00032         public: Query*  start();
00033         public: Query*  query();
00034         public: Query*  assertion();
00035         public: void terminate();
00036         public: void kw_bye();
00037         public: void kw_query();
00038         public: Query::Attribute*  attributes();
00039         public: void kw_assertion();
00040         public: Query::Attribute*  attribute();
00041         public: void recover();
00042 private:
00043         static const char* _tokenNames[];
00044         
00045 };
00046 
00047 #endif /*INC_XMLParser_hpp_*/

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