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 ~ParserException()
virtual void toStream(std::ostream &os) const
Printing: feel free to redefine toStream().
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