cprover
|
This is the complete list of members for console_message_handlert, including all inherited members.
_ui | ui_message_handlert | protected |
always_flush | console_message_handlert | protected |
console_message_handlert() | console_message_handlert | inline |
console_message_handlert(bool always_flush) | console_message_handlert | inlineexplicit |
flush(unsigned level) override | console_message_handlert | virtual |
get_json_stream() override | ui_message_handlert | inlinevirtual |
get_message_count(unsigned level) const | message_handlert | inline |
get_ui() const | ui_message_handlert | inline |
get_verbosity() const | message_handlert | inline |
json_stream | ui_message_handlert | protected |
json_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) | ui_message_handlert | protectedvirtual |
level_string(unsigned level) | ui_message_handlert | protected |
message_count | message_handlert | protected |
message_handlert() | message_handlert | inline |
out | ui_message_handlert | protected |
print(unsigned level, const std::string &message) override | console_message_handlert | virtual |
ui_message_handlert::print(unsigned level, const std::string &message, int sequence_number, const source_locationt &location) override | ui_message_handlert | protectedvirtual |
ui_message_handlert::print(unsigned level, const xmlt &data) override | ui_message_handlert | protectedvirtual |
ui_message_handlert::print(unsigned level, const jsont &data) override | ui_message_handlert | protectedvirtual |
set_ui(uit __ui) | ui_message_handlert | inline |
set_verbosity(unsigned _verbosity) | message_handlert | inline |
time | ui_message_handlert | protected |
ui_message_handlert(uit, const std::string &program, const bool always_flush, timestampert::clockt clock_type) | ui_message_handlert | |
ui_message_handlert(const class cmdlinet &, const std::string &program) | ui_message_handlert | |
ui_message_handlert() | ui_message_handlert | |
ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) | ui_message_handlert | protectedvirtual |
uit enum name | ui_message_handlert | |
verbosity | message_handlert | protected |
xml_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location) | ui_message_handlert | protectedvirtual |
~message_handlert() | message_handlert | inlinevirtual |
~ui_message_handlert() | ui_message_handlert | virtual |