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