gcc_message_handlert Class Reference

#include <gcc_message_handler.h>

Inheritance diagram for gcc_message_handlert:

Collaboration diagram for gcc_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) 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 "error:" instead of "warning:".
Public Member Functions inherited from console_message_handlert
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 Member Functions
std::string	string (const messaget::commandt &c) const
	feed a command into a string

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 gcc_message_handler.h.

Member Function Documentation

print() [1/4]

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

overridevirtual

Reimplemented from console_message_handlert.

Definition at line 91 of file gcc_message_handler.cpp.

print() [2/4]

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

overridevirtual

Reimplemented from message_handlert.

Definition at line 16 of file gcc_message_handler.cpp.

print() [3/4]

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

inlineoverridevirtual

Reimplemented from console_message_handlert.

Definition at line 21 of file gcc_message_handler.h.

print() [4/4]

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

inlineoverridevirtual

Reimplemented from console_message_handlert.

Definition at line 17 of file gcc_message_handler.h.

print_warnings_as_errors()

void gcc_message_handlert::print_warnings_as_errors ( bool  yes )

inline

With yes set to true, prefix warnings with "error:" instead of "warning:".

Parameters

yes	Whether or not to prefix warnings with "error:".

Definition at line 36 of file gcc_message_handler.h.

string()

std::string gcc_message_handlert::string ( const messaget::commandt &  c ) const

inlineprivate

feed a command into a string

Definition at line 45 of file gcc_message_handler.h.

Member Data Documentation

warnings_are_errors

bool gcc_message_handlert::warnings_are_errors = false

private

Definition at line 42 of file gcc_message_handler.h.

---

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

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