Inheritance diagram for smt2irept:

Collaboration diagram for smt2irept:

Public Member Functions
	smt2irept (std::istream &_in)

irept	operator() ()

bool	parse () override

Public Member Functions inherited from smt2_tokenizert
	smt2_tokenizert (std::istream &_in)

	operator bool ()

Public Member Functions inherited from parsert
virtual void	clear ()

	parsert ()

virtual	~parsert ()

bool	read (char &ch)

bool	eof ()

void	parse_error (const std::string &message, const std::string &before)

void	inc_line_no ()

void	set_line_no (unsigned _line_no)

void	set_file (const irep_idt &file)

irep_idt	get_file () const

unsigned	get_line_no () const

unsigned	get_column () const

void	set_column (unsigned _column)

void	set_source_location (exprt &e)

void	set_function (const irep_idt &function)

void	advance_column (unsigned token_width)

Public Member Functions inherited from messaget
virtual void	set_message_handler (message_handlert &_message_handler)

message_handlert &	get_message_handler ()

	messaget ()

	messaget (const messaget &other)

messaget &	operator= (const messaget &other)

	messaget (message_handlert &_message_handler)

virtual	~messaget ()

mstreamt &	get_mstream (unsigned message_level) const

mstreamt &	error () const

mstreamt &	warning () const

mstreamt &	result () const

mstreamt &	status () const

mstreamt &	statistics () const

mstreamt &	progress () const

mstreamt &	debug () const

void	conditional_output (mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
	Generate output to `mstream` using `output_generator` if the configured verbosity is at least as high as that of `mstream`. More...

Protected Attributes
irept	result

Protected Attributes inherited from smt2_tokenizert
std::string	buffer

bool	ok

bool	peeked

tokent	token

Protected Attributes inherited from parsert
source_locationt	source_location

unsigned	line_no

unsigned	previous_line_no

unsigned	column

Protected Attributes inherited from messaget
message_handlert *	message_handler

mstreamt	mstream

Additional Inherited Members
Public Types inherited from messaget
enum	message_levelt { M_ERROR =1, M_WARNING =2, M_RESULT =4, M_STATUS =6, M_STATISTICS =8, M_PROGRESS =9, M_DEBUG =10 }

Static Public Member Functions inherited from messaget
static unsigned	eval_verbosity (const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
	Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest. More...

static mstreamt &	eom (mstreamt &m)

static mstreamt &	endl (mstreamt &m)

Public Attributes inherited from parsert
std::istream *	in

std::string	this_line

std::string	last_line

std::vector< exprt >	stack

Protected Types inherited from smt2_tokenizert
using	tokent = enum { NONE, END_OF_FILE, ERROR, STRING_LITERAL, NUMERAL, SYMBOL, OPEN, CLOSE }

Protected Member Functions inherited from smt2_tokenizert
tokent	next_token ()

tokent	peek ()

mstreamt &	error ()

Detailed Description

Definition at line 16 of file smt2irep.cpp.

Constructor & Destructor Documentation

smt2irept::smt2irept ( std::istream & _in )

inlineexplicit

Definition at line 19 of file smt2irep.cpp.

irept smt2irept::operator() ( void )

inline

Definition at line 23 of file smt2irep.cpp.

bool smt2irept::parse ( )

overridevirtual

Implements parsert.

Definition at line 35 of file smt2irep.cpp.

Referenced by operator()().

irept smt2irept::result

protected

Definition at line 32 of file smt2irep.cpp.

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