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 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 35 of file message.h.
Referenced by messaget::eom().
|
inline |
Definition at line 47 of file message.h.
References message_count.
Referenced by ansi_c_typecheck(), cpp_typecheck(), compilet::doit(), goto_convert(), jsil_typecheck(), and typecheckt::typecheck_main().
|
inline |
|
pure virtual |
Implemented in stream_message_handlert, null_message_handlert, ui_message_handlert, gcc_message_handlert, and console_message_handlert.
Definition at line 57 of file message.cpp.
References message_count.
Referenced by messaget::eom(), print(), console_message_handlert::print(), gcc_message_handlert::print(), ui_message_handlert::print(), null_message_handlert::print(), and stream_message_handlert::print().
|
virtual |
Reimplemented in null_message_handlert, ui_message_handlert, and gcc_message_handlert.
Definition at line 12 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 44 of file message.h.
References verbosity.
Referenced by as_modet::doit(), gcc_modet::doit(), armcc_modet::doit(), ms_cl_modet::doit(), cw_modet::doit(), goto_diff_parse_optionst::eval_verbosity(), clobber_parse_optionst::eval_verbosity(), goto_analyzer_parse_optionst::eval_verbosity(), symex_parse_optionst::eval_verbosity(), cbmc_parse_optionst::eval_verbosity(), goto_instrument_parse_optionst::eval_verbosity(), and goto_fence_inserter_parse_optionst::set_verbosity().
|
protected |
Definition at line 57 of file message.h.
Referenced by get_message_count(), and print().
|
protected |
Definition at line 56 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().