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) | |
ui_message_handlert (const class cmdlinet &, const std::string &program) | |
ui_message_handlert () | |
virtual | ~ui_message_handlert () |
uit | get_ui () const |
void | set_ui (uit __ui) |
virtual void | flush (unsigned level) |
Protected Member Functions | |
virtual void | print (unsigned level, const std::string &message) |
virtual void | print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location) |
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 |
Definition at line 15 of file ui_message.h.
|
strong |
Enumerator | |
---|---|
PLAIN | |
XML_UI | |
JSON_UI |
Definition at line 18 of file ui_message.h.
ui_message_handlert::ui_message_handlert | ( | uit | __ui, |
const std::string & | program | ||
) |
Definition at line 20 of file ui_message.cpp.
References xmlt::data, JSON_UI, xmlt::name, PLAIN, and XML_UI.
ui_message_handlert::ui_message_handlert | ( | const class cmdlinet & | cmdline, |
const std::string & | program | ||
) |
Definition at line 52 of file ui_message.cpp.
|
inline |
Definition at line 22 of file ui_message.h.
|
virtual |
|
virtual |
Reimplemented from message_handlert.
Reimplemented in console_message_handlert.
Definition at line 218 of file ui_message.cpp.
References console_message_handlert::flush(), get_ui(), JSON_UI, PLAIN, and XML_UI.
|
inline |
Definition at line 29 of file ui_message.h.
References _ui.
Referenced by flush(), language_uit::get_ui(), print(), ui_msg(), and ~ui_message_handlert().
|
protectedvirtual |
Definition at line 195 of file ui_message.cpp.
References dstringt::empty(), source_locationt::get_file(), irept::is_not_nil(), and xml().
Referenced by ui_msg().
|
protected |
Definition at line 80 of file ui_message.cpp.
Referenced by print().
|
protectedvirtual |
Implements message_handlert.
Reimplemented in gcc_message_handlert, and console_message_handlert.
Definition at line 90 of file ui_message.cpp.
References get_ui(), JSON_UI, irept::make_nil(), PLAIN, console_message_handlert::print(), message_handlert::verbosity, and XML_UI.
|
protectedvirtual |
Reimplemented from message_handlert.
Reimplemented in gcc_message_handlert.
Definition at line 117 of file ui_message.cpp.
References get_ui(), JSON_UI, level_string(), PLAIN, message_handlert::print(), ui_msg(), message_handlert::verbosity, and XML_UI.
|
inline |
Definition at line 34 of file ui_message.h.
References _ui.
|
protectedvirtual |
Definition at line 154 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 175 of file ui_message.cpp.
References xmlt::data, dstringt::empty(), source_locationt::get_file(), irept::is_not_nil(), xmlt::name, xmlt::new_element(), xmlt::set_attribute(), and xml().
Referenced by ui_msg().
|
protected |
Definition at line 42 of file ui_message.h.