ParserException

Base class for all Parser exceptions. If thrown, API objects can still be used

class ParserException : public cvc5::CVC5ApiException

Base class for all Parser exceptions. If thrown, API objects can still be used

Subclassed by cvc5::parser::ParserEndOfFileException

Public Functions

ParserException()

Default constructor

ParserException(const std::string &msg)

Construct with message from a string.

Parameters:

msg – The error message.

ParserException(const char *msg)

Construct with message from a C string.

Parameters:

msg – The error message.

ParserException(const std::string &msg, const std::string &filename, unsigned long line, unsigned long column)

Construct with message from a string.

Parameters:

• msg – The error message.

• filename – name of the file.

• line – The error line number.

• column – The error column number.

virtual void toStream(std::ostream &os) const override

Print error to output stream.

Parameters:

os – The output stream to write the error on.

std::string getFilename() const

Returns:

The file name.

unsigned long getLine() const

Returns:

The line number of the parsing error.

unsigned long getColumn() const

Returns:

The column number of the parsing error.