CBMC
Public Member Functions | Private Attributes | List of all members
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. More...
 
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 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. More...
 
- 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 More...
 
bool use_SGR
 true if we use ECMA-48 SGR to render colors More...
 
- 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
override

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
inlineoverride

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
inlineoverride

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
yesWhether 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: