cl_message_handlert Class Reference

#include <cl_message_handler.h>

Inheritance diagram for cl_message_handlert:

Collaboration diagram for cl_message_handlert:

Public Member Functions
void	print (unsigned, const xmlt &) override
void	print (unsigned, const jsont &) override
void	print (unsigned level, const std::string &message, const source_locationt &location) override
void	print_warnings_as_errors (bool yes)
	With yes set to true, prefix warnings with an error message.
void	print (unsigned, const xmlt &) override
void	print (unsigned, const jsont &) override
virtual void	print (unsigned level, const std::string &message) override
Public Member Functions inherited from console_message_handlert
void	print (unsigned, const xmlt &) override
void	print (unsigned, const jsont &) 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	~message_handlert ()
void	set_verbosity (unsigned _verbosity)
unsigned	get_verbosity () const
std::size_t	get_message_count (unsigned level) const

Private Attributes
bool	warnings_are_errors = false

Additional Inherited Members
Protected Attributes inherited from console_message_handlert
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 14 of file cl_message_handler.h.

Member Function Documentation

print() [1/6]

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

overridevirtual

Reimplemented from console_message_handlert.

Definition at line 41 of file cout_message.cpp.

print() [2/6]

void cl_message_handlert::print ( unsigned  level, const std::string &  message, const source_locationt &  location  )

overridevirtual

Reimplemented from message_handlert.

Definition at line 15 of file cl_message_handler.cpp.

print() [3/6]

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

inlineoverridevirtual

Implements message_handlert.

Definition at line 21 of file cl_message_handler.h.

print() [4/6]

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

inlineoverridevirtual

Implements message_handlert.

Definition at line 36 of file cout_message.h.

print() [5/6]

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

inlineoverridevirtual

Implements message_handlert.

Definition at line 17 of file cl_message_handler.h.

print() [6/6]

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

inlineoverridevirtual

Implements message_handlert.

Definition at line 32 of file cout_message.h.

print_warnings_as_errors()

void cl_message_handlert::print_warnings_as_errors ( bool  yes )

inline

With yes set to true, prefix warnings with an error message.

Parameters

yes	Whether or not to prefix warnings.

Definition at line 35 of file cl_message_handler.h.

Member Data Documentation

warnings_are_errors

bool cl_message_handlert::warnings_are_errors = false

private

Definition at line 41 of file cl_message_handler.h.

---

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

• /home/runner/work/cbmc/cbmc/src/goto-cc/cl_message_handler.h
• /home/runner/work/cbmc/cbmc/src/goto-cc/cl_message_handler.cpp