cprover
gcc_message_handlert Member List

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

_uiui_message_handlertprotected
flush(unsigned level)ui_message_handlertvirtual
get_message_count(unsigned level) constmessage_handlertinline
get_ui() constui_message_handlertinline
get_verbosity() constmessage_handlertinline
json_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)ui_message_handlertprotectedvirtual
level_string(unsigned level)ui_message_handlertprotected
message_countmessage_handlertprotected
message_handlert()message_handlertinline
print(unsigned level, const std::string &message) overridegcc_message_handlertvirtual
print(unsigned level, const std::string &message, int sequence_number, const source_locationt &location) overridegcc_message_handlertvirtual
set_ui(uit __ui)ui_message_handlertinline
set_verbosity(unsigned _verbosity)message_handlertinline
ui_message_handlert(uit, const std::string &program)ui_message_handlert
ui_message_handlert(const class cmdlinet &, const std::string &program)ui_message_handlert
ui_message_handlert()ui_message_handlertinline
ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)ui_message_handlertprotectedvirtual
uit enum nameui_message_handlert
verbositymessage_handlertprotected
xml_ui_msg(const std::string &type, const std::string &msg1, const std::string &msg2, const source_locationt &location)ui_message_handlertprotectedvirtual
~message_handlert()message_handlertinlinevirtual
~ui_message_handlert()ui_message_handlertvirtual