Exception thrown by the tokenizer (and the parser built on top of it) to report a syntactic error at a known source line. More...
#include <smt2_tokenizer.h>
Collaboration diagram for smt2_tokenizert::smt2_errort:Public Member Functions | |
| smt2_errort (smt2_errort &&)=default | |
| smt2_errort (const smt2_errort &other) | |
| smt2_errort (const std::string &_message, unsigned _line_no) | |
| smt2_errort (unsigned _line_no) | |
| std::string | what () const |
| unsigned | get_line_no () const |
| std::ostringstream & | message_ostream () |
Protected Attributes | |
| std::ostringstream | message |
| unsigned | line_no |
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.
Holds an std::ostringstream so that callers can assemble the diagnostic piecewise via operator<<.
Definition at line 33 of file smt2_tokenizer.h.
Constructor & Destructor Documentation
◆ smt2_errort() [1/4]
|
default |
◆ smt2_errort() [2/4]
|
inline |
Definition at line 38 of file smt2_tokenizer.h.
◆ smt2_errort() [3/4]
|
inline |
Definition at line 45 of file smt2_tokenizer.h.
◆ smt2_errort() [4/4]
|
inlineexplicit |
Definition at line 51 of file smt2_tokenizer.h.
Member Function Documentation
◆ get_line_no()
|
inline |
Definition at line 60 of file smt2_tokenizer.h.
◆ message_ostream()
|
inline |
Definition at line 65 of file smt2_tokenizer.h.
◆ what()
|
inline |
Definition at line 55 of file smt2_tokenizer.h.
Member Data Documentation
◆ line_no
|
protected |
Definition at line 72 of file smt2_tokenizer.h.
◆ message
|
protected |
Definition at line 71 of file smt2_tokenizer.h.
The documentation for this class was generated from the following file:
- /home/runner/work/cbmc/cbmc/src/solvers/smt2/smt2_tokenizer.h
