CBMC
api_message_handlert Member List

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

api_message_handlert(api_message_callbackt callback, api_call_back_contextt context)api_message_handlertexplicit
callbackapi_message_handlertprivate
command(unsigned) constmessage_handlertinlinevirtual
contextapi_message_handlertprivate
flush(unsigned) overrideapi_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) overrideapi_message_handlertvirtual
print(unsigned level, const xmlt &xml) overrideapi_message_handlertinlinevirtual
print(unsigned level, const jsont &json) overrideapi_message_handlertinlinevirtual
message_handlert::print(unsigned level, const structured_datat &data)message_handlertvirtual
message_handlert::print(unsigned level, const std::string &message, const source_locationt &location)message_handlertvirtual
set_verbosity(unsigned _verbosity)message_handlertinline
verbositymessage_handlertprotected
~message_handlert()message_handlertinlinevirtual