cprover
|
#include <cout_message.h>
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) | |
Protected Attributes | |
const bool | always_flush |
Additional Inherited Members |
Definition at line 29 of file cout_message.h.
|
inline |
Definition at line 39 of file cout_message.h.
|
inlineexplicit |
Definition at line 43 of file cout_message.h.
|
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().
|
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().
|
protected |
Definition at line 49 of file cout_message.h.
Referenced by flush().