cprover
|
#include <ui_message.h>
Public Types | |
enum | uit { uit::PLAIN, uit::XML_UI, uit::JSON_UI } |
Public Member Functions | |
ui_message_handlert (uit, const std::string &program, const bool always_flush, timestampert::clockt clock_type) | |
ui_message_handlert (const class cmdlinet &, const std::string &program) | |
ui_message_handlert () | |
Default constructor; implementation is in .cpp file. More... | |
virtual | ~ui_message_handlert () |
uit | get_ui () const |
void | set_ui (uit __ui) |
virtual void | flush (unsigned level) override |
json_stream_arrayt & | get_json_stream () override |
Return the underlying JSON stream. More... | |
Protected 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 |
virtual void | print (unsigned level, const xmlt &data) override |
virtual void | print (unsigned level, const jsont &data) override |
virtual void | xml_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) |
virtual void | json_ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) |
virtual void | ui_msg (const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) |
const char * | level_string (unsigned level) |
Protected Attributes | |
uit | _ui |
const bool | always_flush |
std::unique_ptr< const timestampert > | time |
std::ostream & | out |
std::unique_ptr< json_stream_arrayt > | json_stream |
Definition at line 19 of file ui_message.h.
|
strong |
Enumerator | |
---|---|
PLAIN | |
XML_UI | |
JSON_UI |
Definition at line 22 of file ui_message.h.
ui_message_handlert::ui_message_handlert | ( | uit | __ui, |
const std::string & | program, | ||
const bool | always_flush, | ||
timestampert::clockt | clock_type | ||
) |
Definition at line 31 of file ui_message.cpp.
References _ui, xmlt::data, INVARIANT, json_stream, JSON_UI, xmlt::name, out, PLAIN, and XML_UI.
ui_message_handlert::ui_message_handlert | ( | const class cmdlinet & | cmdline, |
const std::string & | program | ||
) |
Definition at line 77 of file ui_message.cpp.
ui_message_handlert::ui_message_handlert | ( | ) |
Default constructor; implementation is in .cpp file.
Definition at line 22 of file ui_message.cpp.
|
virtual |
Definition at line 96 of file ui_message.cpp.
References get_ui(), INVARIANT, json_stream, JSON_UI, out, PLAIN, and XML_UI.
|
overridevirtual |
Reimplemented from message_handlert.
Reimplemented in console_message_handlert.
Definition at line 307 of file ui_message.cpp.
References always_flush, console_message_handlert::flush(), get_ui(), JSON_UI, out, PLAIN, and XML_UI.
Referenced by print().
|
inlineoverridevirtual |
Return the underlying JSON stream.
Reimplemented from message_handlert.
Definition at line 54 of file ui_message.h.
References json_stream, and PRECONDITION.
|
inline |
Definition at line 37 of file ui_message.h.
References _ui.
Referenced by clobber_parse_optionst::doit(), jdiff_parse_optionst::doit(), goto_diff_parse_optionst::doit(), cbmc_parse_optionst::doit(), jbmc_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), flush(), cbmc_parse_optionst::get_goto_program(), jbmc_parse_optionst::get_goto_program(), language_uit::get_ui(), goto_instrument_parse_optionst::get_ui(), janalyzer_parse_optionst::get_ui(), goto_analyzer_parse_optionst::get_ui(), print(), jbmc_parse_optionst::show_loaded_functions(), ui_msg(), and ~ui_message_handlert().
|
protectedvirtual |
Definition at line 287 of file ui_message.cpp.
References dstringt::empty(), source_locationt::get_file(), INVARIANT, irept::is_not_nil(), json(), json_stream, and time.
Referenced by ui_msg().
|
protected |
Definition at line 117 of file ui_message.cpp.
Referenced by print().
|
overrideprotectedvirtual |
Implements message_handlert.
Reimplemented in gcc_message_handlert, and console_message_handlert.
Definition at line 127 of file ui_message.cpp.
References always_flush, console_message_handlert::flush(), flush(), get_ui(), JSON_UI, irept::make_nil(), PLAIN, console_message_handlert::print(), time, message_handlert::verbosity, and XML_UI.
|
overrideprotectedvirtual |
Reimplemented from message_handlert.
Reimplemented in gcc_message_handlert.
Definition at line 206 of file ui_message.cpp.
References get_ui(), JSON_UI, level_string(), PLAIN, message_handlert::print(), to_string(), ui_msg(), message_handlert::verbosity, and XML_UI.
|
overrideprotectedvirtual |
Reimplemented from message_handlert.
Definition at line 161 of file ui_message.cpp.
References flush(), get_ui(), INVARIANT, JSON_UI, out, PLAIN, message_handlert::verbosity, and XML_UI.
|
overrideprotectedvirtual |
Reimplemented from message_handlert.
Definition at line 183 of file ui_message.cpp.
References flush(), get_ui(), INVARIANT, json_stream, JSON_UI, PLAIN, message_handlert::verbosity, and XML_UI.
|
inline |
Definition at line 42 of file ui_message.h.
References _ui, json_stream, JSON_UI, and out.
|
protectedvirtual |
Definition at line 243 of file ui_message.cpp.
References get_ui(), JSON_UI, json_ui_msg(), PLAIN, XML_UI, and xml_ui_msg().
Referenced by print().
|
protectedvirtual |
Definition at line 264 of file ui_message.cpp.
References xmlt::data, dstringt::empty(), source_locationt::get_file(), irept::is_not_nil(), xmlt::name, xmlt::new_element(), out, xmlt::set_attribute(), time, and xml().
Referenced by ui_msg().
|
protected |
Definition at line 61 of file ui_message.h.
Referenced by get_ui(), set_ui(), and ui_message_handlert().
|
protected |
Definition at line 62 of file ui_message.h.
|
protected |
Definition at line 65 of file ui_message.h.
Referenced by get_json_stream(), json_ui_msg(), print(), set_ui(), ui_message_handlert(), and ~ui_message_handlert().
|
protected |
Definition at line 64 of file ui_message.h.
Referenced by flush(), print(), set_ui(), ui_message_handlert(), xml_ui_msg(), and ~ui_message_handlert().
|
protected |
Definition at line 63 of file ui_message.h.
Referenced by json_ui_msg(), print(), and xml_ui_msg().