smt2_tokenizert::smt2_errort Class Reference

#include <smt2_tokenizer.h>

Collaboration diagram for smt2_tokenizert::smt2_errort:

Public Member Functions
	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

Definition at line 24 of file smt2_tokenizer.h.

Constructor & Destructor Documentation

smt2_errort() [1/2]

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

inline

Definition at line 27 of file smt2_tokenizer.h.

smt2_errort() [2/2]

smt2_tokenizert::smt2_errort::smt2_errort ( unsigned  _line_no )

inlineexplicit

Definition at line 33 of file smt2_tokenizer.h.

Member Function Documentation

get_line_no()

unsigned smt2_tokenizert::smt2_errort::get_line_no ( ) const

inline

Definition at line 42 of file smt2_tokenizer.h.

message_ostream()

std::ostringstream& smt2_tokenizert::smt2_errort::message_ostream ( )

inline

Definition at line 47 of file smt2_tokenizer.h.

what()

std::string smt2_tokenizert::smt2_errort::what ( ) const

inline

Definition at line 37 of file smt2_tokenizer.h.

Member Data Documentation

line_no

unsigned smt2_tokenizert::smt2_errort::line_no

protected

Definition at line 54 of file smt2_tokenizer.h.

message

std::ostringstream smt2_tokenizert::smt2_errort::message

protected

Definition at line 53 of file smt2_tokenizer.h.

---

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

• /home/runner/work/cbmc-documentation/cbmc-documentation/src/solvers/smt2/smt2_tokenizer.h