smt2_tokenizert::smt2_errort Class Reference

#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

Definition at line 24 of file smt2_tokenizer.h.

Constructor & Destructor Documentation

smt2_errort() [1/4]

smt2_tokenizert::smt2_errort::smt2_errort ( smt2_errort &&  )

default

smt2_errort() [2/4]

smt2_tokenizert::smt2_errort::smt2_errort ( const smt2_errort &  other )

inline

Definition at line 29 of file smt2_tokenizer.h.

smt2_errort() [3/4]

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

inline

Definition at line 36 of file smt2_tokenizer.h.

smt2_errort() [4/4]

smt2_tokenizert::smt2_errort::smt2_errort ( unsigned  _line_no )

inlineexplicit

Definition at line 42 of file smt2_tokenizer.h.

Member Function Documentation

get_line_no()

unsigned smt2_tokenizert::smt2_errort::get_line_no ( ) const

inline

Definition at line 51 of file smt2_tokenizer.h.

message_ostream()

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

inline

Definition at line 56 of file smt2_tokenizer.h.

what()

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

inline

Definition at line 46 of file smt2_tokenizer.h.

Member Data Documentation

line_no

unsigned smt2_tokenizert::smt2_errort::line_no

protected

Definition at line 63 of file smt2_tokenizer.h.

message

std::ostringstream smt2_tokenizert::smt2_errort::message

protected

Definition at line 62 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