cprover
Loading...
Searching...
No Matches
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
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 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: