cprover
|
#include <cout_message.h>
Public Member Functions | |
virtual void | print (unsigned level, const std::string &message) override |
virtual void | print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location) override |
Additional Inherited Members |
Definition at line 52 of file cout_message.h.
|
overridevirtual |
Reimplemented from ui_message_handlert.
Definition at line 145 of file cout_message.cpp.
References message_handlert::print(), and message_handlert::verbosity.
Referenced by print().
|
overridevirtual |
Reimplemented from ui_message_handlert.
Definition at line 100 of file cout_message.cpp.
References dstringt::empty(), source_locationt::get_column(), source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_line(), id2string(), messaget::M_ERROR, messaget::M_WARNING, and print().