CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::Parser Class Reference

#include <parser.h>

List of all members.

Public Member Functions

 Parser (ValidityChecker *vc, Translator *translator, InputLanguage lang, bool interactive=true, const std::string &fileName="")
 Parser (ValidityChecker *vc, Translator *translator, InputLanguage lang, std::istream &is, bool interactive=false)
 ~Parser ()
Expr next ()
bool done () const
 operator bool () const
void printLocation (std::ostream &out) const
void reset ()

Private Member Functions

void initParser ()
void deleteParser ()

Private Attributes

ParserData * d_data

Detailed Description

Definition at line 43 of file parser.h.


Constructor & Destructor Documentation

CVC3::Parser::Parser ( ValidityChecker vc,
Translator translator,
InputLanguage  lang,
bool  interactive = true,
const std::string &  fileName = "" 
)
CVC3::Parser::Parser ( ValidityChecker vc,
Translator translator,
InputLanguage  lang,
std::istream &  is,
bool  interactive = false 
)
CVC3::Parser::~Parser ( )

Member Function Documentation

void CVC3::Parser::initParser ( )
private
void CVC3::Parser::deleteParser ( )
private
Expr CVC3::Parser::next ( )
bool CVC3::Parser::done ( ) const
CVC3::Parser::operator bool ( ) const
inline

Definition at line 65 of file parser.h.

References done().

void CVC3::Parser::printLocation ( std::ostream &  out) const
void CVC3::Parser::reset ( )

Member Data Documentation

ParserData* CVC3::Parser::d_data
private

Definition at line 45 of file parser.h.


The documentation for this class was generated from the following file: