cprover
|
#include <message.h>
Public Member Functions | |
message_handlert () | |
virtual void | print (unsigned level, const std::string &message)=0 |
virtual void | print (unsigned level, const xmlt &xml) |
virtual json_stream_arrayt & | get_json_stream () |
Return the underlying JSON stream. More... | |
virtual void | print (unsigned level, const jsont &json) |
virtual void | print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location) |
virtual void | flush (unsigned level) |
virtual | ~message_handlert () |
void | set_verbosity (unsigned _verbosity) |
unsigned | get_verbosity () const |
unsigned | get_message_count (unsigned level) const |
Protected Attributes | |
unsigned | verbosity |
std::vector< unsigned > | message_count |
|
inlinevirtual |
|
inlinevirtual |
Reimplemented in stream_message_handlert, ui_message_handlert, and console_message_handlert.
Definition at line 56 of file message.h.
Referenced by messaget::eom().
|
inlinevirtual |
Return the underlying JSON stream.
Reimplemented in ui_message_handlert.
Definition at line 40 of file message.h.
References UNREACHABLE.
Referenced by messaget::mstreamt::json_stream().
|
inline |
Definition at line 68 of file message.h.
References message_count.
Referenced by compilet::doit(), and typecheckt::typecheck_main().
|
inline |
Definition at line 66 of file message.h.
References verbosity.
Referenced by messaget::conditional_output().
|
pure virtual |
Implemented in stream_message_handlert, null_message_handlert, ui_message_handlert, gcc_message_handlert, and console_message_handlert.
Definition at line 59 of file message.cpp.
References message_count.
Referenced by messaget::eom(), messaget::eval_verbosity(), messaget::mstreamt::operator<<(), console_message_handlert::print(), print(), gcc_message_handlert::print(), ui_message_handlert::print(), null_message_handlert::print(), and stream_message_handlert::print().
|
inlinevirtual |
Reimplemented in ui_message_handlert.
|
inlinevirtual |
Reimplemented in ui_message_handlert.
|
virtual |
Reimplemented in null_message_handlert, ui_message_handlert, and gcc_message_handlert.
Definition at line 14 of file message.cpp.
References dstringt::empty(), source_locationt::get_column(), source_locationt::get_file(), source_locationt::get_function(), source_locationt::get_line(), id2string(), and print().
|
inline |
Definition at line 65 of file message.h.
References verbosity.
Referenced by messaget::eval_verbosity().
|
protected |
Definition at line 78 of file message.h.
Referenced by get_message_count(), and print().
|
protected |
Definition at line 77 of file message.h.
Referenced by get_verbosity(), console_message_handlert::print(), gcc_message_handlert::print(), ui_message_handlert::print(), stream_message_handlert::print(), and set_verbosity().