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

(

)

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