CBMC
Public Member Functions | Protected Attributes | List of all members
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. More...
 
- 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 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 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
cECMA-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 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.

Definition at line 36 of file cout_message.h.

◆ print() [3/3]

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

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