cprover
null_message_handlert Member List

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

flush(unsigned level)message_handlertinlinevirtual
get_json_stream()message_handlertinlinevirtual
get_message_count(unsigned level) constmessage_handlertinline
get_verbosity() constmessage_handlertinline
message_countmessage_handlertprotected
message_handlert()message_handlertinline
print(unsigned level, const std::string &message)null_message_handlertinlinevirtual
print(unsigned level, const std::string &message, int, const source_locationt &)null_message_handlertinlinevirtual
message_handlert::print(unsigned level, const xmlt &xml)message_handlertinlinevirtual
message_handlert::print(unsigned level, const jsont &json)message_handlertinlinevirtual
set_verbosity(unsigned _verbosity)message_handlertinline
verbositymessage_handlertprotected
~message_handlert()message_handlertinlinevirtual