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

XMLParser Class Reference

#include <XMLParser.hpp>

Inheritance diagram for XMLParser:

XMLLexerTokenTypes List of all members.

Public Member Functions

 XMLParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf)
 XMLParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer)
 XMLParser (const ANTLR_USE_NAMESPACE(antlr) ParserSharedInputState &state)
Querystart ()
Queryquery ()
Queryassertion ()
void terminate ()
void kw_bye ()
void kw_query ()
Query::Attributeattributes ()
void kw_assertion ()
Query::Attributeattribute ()
void recover ()

Protected Member Functions

 XMLParser (ANTLR_USE_NAMESPACE(antlr) TokenBuffer &tokenBuf, int k)
 XMLParser (ANTLR_USE_NAMESPACE(antlr) TokenStream &lexer, int k)

Static Private Attributes

const char * _tokenNames []

Constructor & Destructor Documentation

XMLParser::XMLParser ANTLR_USE_NAMESPACE(antlr) TokenBuffer &  tokenBuf,
int  k
[protected]
 

XMLParser::XMLParser ANTLR_USE_NAMESPACE(antlr) TokenBuffer &  tokenBuf  ) 
 

XMLParser::XMLParser ANTLR_USE_NAMESPACE(antlr) TokenStream &  lexer,
int  k
[protected]
 

XMLParser::XMLParser ANTLR_USE_NAMESPACE(antlr) TokenStream &  lexer  ) 
 

XMLParser::XMLParser const ANTLR_USE_NAMESPACE(antlr) ParserSharedInputState &  state  ) 
 


Member Function Documentation

Query * XMLParser::assertion  ) 
 

Query::Attribute * XMLParser::attribute  ) 
 

Query::Attribute * XMLParser::attributes  ) 
 

void XMLParser::kw_assertion  ) 
 

void XMLParser::kw_bye  ) 
 

void XMLParser::kw_query  ) 
 

Query * XMLParser::query  ) 
 

void XMLParser::recover  ) 
 

Query * XMLParser::start  ) 
 

void XMLParser::terminate  ) 
 


Member Data Documentation

const char * XMLParser::_tokenNames [static, private]
 


The documentation for this class was generated from the following files:
Generated on Sat Jun 28 15:09:00 2003 for Vampire by doxygen 1.3.2