cprover
console_message_handlert Class Reference

#include <cout_message.h>

Inheritance diagram for console_message_handlert:
[legend]
Collaboration diagram for console_message_handlert:
[legend]

Public Member Functions

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)
 
- Public Member Functions inherited from ui_message_handlert
 ui_message_handlert (uit, const std::string &program, const bool always_flush, timestampert::clockt clock_type)
 
 ui_message_handlert (const class cmdlinet &, const std::string &program)
 
 ui_message_handlert ()
 Default constructor; implementation is in .cpp file. More...
 
virtual ~ui_message_handlert ()
 
uit get_ui () const
 
void set_ui (uit __ui)
 
json_stream_arraytget_json_stream () override
 Return the underlying JSON stream. More...
 
- Public Member Functions inherited from message_handlert
 message_handlert ()
 
virtual ~message_handlert ()
 
void set_verbosity (unsigned _verbosity)
 
unsigned get_verbosity () const
 
unsigned get_message_count (unsigned level) const
 

Protected Attributes

const bool always_flush
 
- Protected Attributes inherited from ui_message_handlert
uit _ui
 
const bool always_flush
 
std::unique_ptr< const timestamperttime
 
std::ostream & out
 
std::unique_ptr< json_stream_arraytjson_stream
 
- Protected Attributes inherited from message_handlert
unsigned verbosity
 
std::vector< unsigned > message_count
 

Additional Inherited Members

- Public Types inherited from ui_message_handlert
enum  uit { uit::PLAIN, uit::XML_UI, uit::JSON_UI }
 
- Protected Member Functions inherited from ui_message_handlert
virtual void print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location) override
 
virtual void print (unsigned level, const xmlt &data) override
 
virtual void print (unsigned level, const jsont &data) override
 
virtual void xml_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
virtual void json_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
virtual void ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)
 
const char * level_string (unsigned level)
 

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 39 of file cout_message.h.

◆ console_message_handlert() [2/2]

console_message_handlert::console_message_handlert ( bool  always_flush)
inlineexplicit

Definition at line 43 of file cout_message.h.

Member Function Documentation

◆ flush()

void console_message_handlert::flush ( unsigned  level)
overridevirtual

Reimplemented from ui_message_handlert.

Definition at line 86 of file cout_message.cpp.

References always_flush.

Referenced by ui_message_handlert::flush(), and ui_message_handlert::print().

◆ print()

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

Reimplemented from ui_message_handlert.

Definition at line 32 of file cout_message.cpp.

References message_handlert::print(), message_handlert::verbosity, and widen().

Referenced by ui_message_handlert::print().

Member Data Documentation

◆ always_flush

const bool console_message_handlert::always_flush
protected

Definition at line 49 of file cout_message.h.

Referenced by flush().


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