cprover
|
#include <cout_message.h>
Public Member Functions | |
virtual void | print (unsigned level, const std::string &message) override |
virtual void | flush (unsigned level) override |
Additional Inherited Members |
Definition at line 29 of file cout_message.h.
|
overridevirtual |
Reimplemented from ui_message_handlert.
Definition at line 86 of file cout_message.cpp.
Referenced by ui_message_handlert::flush().
|
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().