CBMC
ui_message_handlert Member List

This is the complete list of members for ui_message_handlert, including all inherited members.

_uiui_message_handlertprotected
always_flushui_message_handlertprotected
command(unsigned c) const overrideui_message_handlertinlineprotectedvirtual
console_message_handlerui_message_handlertprotected
flush(unsigned level) overrideui_message_handlertvirtual
get_json_stream()ui_message_handlertinlinevirtual
get_message_count(unsigned level) constmessage_handlertinline
get_ui() constui_message_handlertinlinevirtual
get_verbosity() constmessage_handlertinline
json_streamui_message_handlertprotected
json_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)ui_message_handlertprotectedvirtual
level_string(unsigned level)ui_message_handlertprotected
message_countmessage_handlertprotected
message_handlerui_message_handlertprotected
message_handlert()message_handlertinline
outui_message_handlertprotected
print(unsigned level, const structured_datat &data) overrideui_message_handlertvirtual
print(unsigned level, const std::string &message) overrideui_message_handlertprotectedvirtual
print(unsigned level, const std::string &message, const source_locationt &location) overrideui_message_handlertprotectedvirtual
print(unsigned level, const xmlt &data) overrideui_message_handlertprotectedvirtual
print(unsigned level, const jsont &data) overrideui_message_handlertprotectedvirtual
set_verbosity(unsigned _verbosity)message_handlertinline
timeui_message_handlertprotected
ui_message_handlert(const class cmdlinet &, const std::string &program)ui_message_handlert
ui_message_handlert(message_handlert &)ui_message_handlertexplicit
ui_message_handlert(ui_message_handlert &&)=defaultui_message_handlert
ui_message_handlert(message_handlert *, uit, const std::string &program, const bool always_flush, timestampert::clockt clock_type)ui_message_handlertprotected
ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)ui_message_handlertprotectedvirtual
uit enum nameui_message_handlert
verbositymessage_handlertprotected
xml_ui_msg(const std::string &type, const std::string &msg, const source_locationt &location)ui_message_handlertprotectedvirtual
~message_handlert()message_handlertinlinevirtual
~ui_message_handlert()ui_message_handlertvirtual