Exception thrown by the tokenizer (and the parser built on top of it) to report a syntactic error at a known source line. More...

Inheritance diagram for smt2_tokenizert::smt2_errort:

Collaboration diagram for smt2_tokenizert::smt2_errort:

Public Member Functions
	smt2_errort (const std::string &_message, unsigned _line_no)
	smt2_errort (unsigned _line_no)
unsigned	get_line_no () const
Public Member Functions inherited from cprover_exception_baset
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
virtual std::string	what () const
	A human readable description of what went wrong.
virtual	~cprover_exception_baset ()=default
	cprover_exception_baset ()=default
	cprover_exception_baset (cprover_exception_baset &&)=default
	cprover_exception_baset (const cprover_exception_baset &src)
std::string	reason () const

Protected Attributes
unsigned	line_no
Protected Attributes inherited from cprover_exception_baset
std::string	reason
	The reason this exception was generated.
std::ostringstream	_reason
	The reason this exception was generated.

Additional Inherited Members
Protected Member Functions inherited from cprover_exception_baset
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.
	cprover_exception_baset (std::string reason)
	This constructor is marked protected to ensure this class isn't used directly.

Detailed Description

Exception thrown by the tokenizer (and the parser built on top of it) to report a syntactic error at a known source line.

Definition at line 33 of file smt2_tokenizer.h.

Constructor & Destructor Documentation

smt2_tokenizert::smt2_errort::smt2_errort	(	const std::string &	_message,
		unsigned	_line_no )

inline

Definition at line 36 of file smt2_tokenizer.h.

smt2_tokenizert::smt2_errort::smt2_errort ( unsigned _line_no )

inlineexplicit

Definition at line 42 of file smt2_tokenizer.h.

unsigned smt2_tokenizert::smt2_errort::get_line_no ( ) const

inline

Definition at line 46 of file smt2_tokenizer.h.

unsigned smt2_tokenizert::smt2_errort::line_no

protected

Definition at line 52 of file smt2_tokenizer.h.

The documentation for this class was generated from the following file: