console_message_handlert Class Reference

#include <cout_message.h>

Inheritance diagram for console_message_handlert:

Collaboration diagram for console_message_handlert:

Public Member Functions
void	print (unsigned, const xmlt &) override
void	print (unsigned, const jsont &) override
virtual void	print (unsigned level, const std::string &message) override
virtual void	flush (unsigned level) override
	console_message_handlert ()
	console_message_handlert (bool always_flush)
std::string	command (unsigned c) const override
	Create an ECMA-48 SGR (Select Graphic Rendition) command with given code.
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

Protected Attributes
const bool	always_flush
bool	is_a_tty
	true if we are outputting to a proper console
bool	use_SGR
	true if we use ECMA-48 SGR to render colors
Protected Attributes inherited from message_handlert
unsigned	verbosity
std::vector< std::size_t >	message_count

Detailed Description

Definition at line 29 of file cout_message.h.

Constructor & Destructor Documentation

console_message_handlert() [1/2]

console_message_handlert::console_message_handlert ( )

inline

Definition at line 47 of file cout_message.h.

console_message_handlert() [2/2]

console_message_handlert::console_message_handlert ( bool  always_flush )

explicit

Definition at line 45 of file cout_message.cpp.

Member Function Documentation

command()

std::string console_message_handlert::command ( unsigned  c ) const

overridevirtual

Create an ECMA-48 SGR (Select Graphic Rendition) command with given code.

Parameters

c	ECMA-48 command code

Reimplemented from message_handlert.

Definition at line 71 of file cout_message.cpp.

flush()

void console_message_handlert::flush ( unsigned  level )

overridevirtual

Implements message_handlert.

Definition at line 133 of file cout_message.cpp.

print() [1/3]

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

overridevirtual

Implements message_handlert.

Reimplemented in cl_message_handlert, and gcc_message_handlert.

Definition at line 79 of file cout_message.cpp.

print() [2/3]

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

inlineoverridevirtual

Implements message_handlert.

Reimplemented in gcc_message_handlert.

Definition at line 36 of file cout_message.h.

print() [3/3]

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

inlineoverridevirtual

Implements message_handlert.

Reimplemented in gcc_message_handlert.

Definition at line 32 of file cout_message.h.

Member Data Documentation

always_flush

const bool console_message_handlert::always_flush

protected

Definition at line 56 of file cout_message.h.

is_a_tty

bool console_message_handlert::is_a_tty

protected

true if we are outputting to a proper console

Definition at line 59 of file cout_message.h.

use_SGR

bool console_message_handlert::use_SGR

protected

true if we use ECMA-48 SGR to render colors

Definition at line 62 of file cout_message.h.

---

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

• /home/runner/work/cbmc/cbmc/src/util/cout_message.h
• /home/runner/work/cbmc/cbmc/src/util/cout_message.cpp