CVC3
Public Member Functions | Private Member Functions | Private Attributes | List of all members
CVC3::Parser Class Reference

#include <parser.h>

Collaboration diagram for CVC3::Parser:
Collaboration graph

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: