CVCL::Parser Class Reference

#include <parser.h>

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Detailed Description

Definition at line 50 of file parser.h.


Constructor & Destructor Documentation

CVCL::Parser::Parser ValidityChecker vc,
InputLanguage  lang,
bool  interactive = true,
const std::string &  fileName = ""
 

CVCL::Parser::Parser ValidityChecker vc,
InputLanguage  lang,
std::istream &  is,
bool  interactive = false
 

CVCL::Parser::~Parser  ) 
 


Member Function Documentation

void CVCL::Parser::initParser  )  [private]
 

void CVCL::Parser::deleteParser  )  [private]
 

Expr CVCL::Parser::next  )  throw (Exception)
 

Referenced by CVCL::VCCmd::evaluateNext().

bool CVCL::Parser::done  )  const
 

Referenced by CVCL::VCCmd::evaluateNext(), and operator bool().

CVCL::Parser::operator bool  )  const [inline]
 

Definition at line 72 of file parser.h.

References done().

void CVCL::Parser::printLocation std::ostream &  out  )  const
 

Referenced by CVCL::VCCmd::processCommands().


Member Data Documentation

ParserData* CVCL::Parser::d_data [private]
 

Definition at line 52 of file parser.h.


The documentation for this class was generated from the following file:
Generated on Thu Apr 13 16:57:43 2006 for CVC Lite by  doxygen 1.4.4