19 #ifndef __CVC4__PARSER__PARSER_EXCEPTION_H 20 #define __CVC4__PARSER__PARSER_EXCEPTION_H 55 unsigned long line,
unsigned long column)
throw() :
65 virtual void toStream(std::ostream& os)
const throw() {
67 os <<
"Parse Error: " << d_filename <<
":" << d_line <<
"." 68 << d_column <<
": " << d_msg;
70 os <<
"Parse Error: " << d_msg;
110 unsigned long line,
unsigned long column)
throw() :
ParserEndOfFileException(const std::string &msg)
ParserException(const char *msg)
CVC4's exception base class and some associated utilities.
ParserEndOfFileException()
ParserException(const std::string &msg)
ParserException(const std::string &msg, const std::string &filename, unsigned long line, unsigned long column)
virtual void toStream(std::ostream &os) const
Printing: feel free to redefine toStream().
virtual ~ParserException()
ParserEndOfFileException(const std::string &msg, const std::string &filename, unsigned long line, unsigned long column)
Macros that should be defined everywhere during the building of the libraries and driver binary...
ParserEndOfFileException(const char *msg)
std::string getFilename() const