CVC3::Parser Class Reference

#include <parser.h>

Collaboration diagram for CVC3::Parser:

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

(

)

Referenced by CVC3::VCCmd::evaluateNext(), and CVC3::VCL::exprFromString().

bool CVC3::Parser::done

(

)

const

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

CVC3::Parser::operator bool ( ) const

inline

Definition at line 65 of file parser.h.

References done().

void CVC3::Parser::printLocation

(

std::ostream &

out

)

const

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

void CVC3::Parser::reset

(

)

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

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:

• parser.h