stream_message_handlert Class Reference

#include <message.h>

Inheritance diagram for stream_message_handlert:

Collaboration diagram for stream_message_handlert:

Public Member Functions
	stream_message_handlert (std::ostream &_out)
void	print (unsigned level, const std::string &message) override
void	print (unsigned, const xmlt &) override
void	print (unsigned, const jsont &) override
void	flush (unsigned) override
Public Member Functions inherited from message_handlert
	message_handlert ()
virtual void	print (unsigned level, const structured_datat &data)
virtual void	print (unsigned level, const std::string &message, const source_locationt &location)
virtual	~message_handlert ()
void	set_verbosity (unsigned _verbosity)
unsigned	get_verbosity () const
std::size_t	get_message_count (unsigned level) const
virtual std::string	command (unsigned) const
	Create an ECMA-48 SGR (Select Graphic Rendition) command.

Protected Attributes
std::ostream &	out
Protected Attributes inherited from message_handlert
unsigned	verbosity
std::vector< std::size_t >	message_count

Detailed Description

Definition at line 109 of file message.h.

Constructor & Destructor Documentation

stream_message_handlert()

stream_message_handlert::stream_message_handlert ( std::ostream &  _out )

inlineexplicit

Definition at line 112 of file message.h.

Member Function Documentation

flush()

void stream_message_handlert::flush ( unsigned  )

inlineoverridevirtual

Implements message_handlert.

Definition at line 132 of file message.h.

print() [1/3]

void stream_message_handlert::print ( unsigned  level, const std::string &  message  )

inlineoverridevirtual

Implements message_handlert.

Definition at line 116 of file message.h.

print() [2/3]

void stream_message_handlert::print ( unsigned  , const jsont &    )

inlineoverridevirtual

Implements message_handlert.

Definition at line 128 of file message.h.

print() [3/3]

void stream_message_handlert::print ( unsigned  , const xmlt &    )

inlineoverridevirtual

Implements message_handlert.

Definition at line 124 of file message.h.

Member Data Documentation

out

std::ostream& stream_message_handlert::out

protected

Definition at line 138 of file message.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/message.h