CBMC
|
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_handlert | explicit |
callback | api_message_handlert | private |
command(unsigned) const | message_handlert | inlinevirtual |
context | api_message_handlert | private |
flush(unsigned) override | api_message_handlert | inlinevirtual |
get_message_count(unsigned level) const | message_handlert | inline |
get_verbosity() const | message_handlert | inline |
message_count | message_handlert | protected |
message_handlert() | message_handlert | inline |
print(unsigned level, const std::string &message) override | api_message_handlert | virtual |
print(unsigned level, const xmlt &xml) override | api_message_handlert | inlinevirtual |
print(unsigned level, const jsont &json) override | api_message_handlert | inlinevirtual |
message_handlert::print(unsigned level, const structured_datat &data) | message_handlert | virtual |
message_handlert::print(unsigned level, const std::string &message, const source_locationt &location) | message_handlert | virtual |
set_verbosity(unsigned _verbosity) | message_handlert | inline |
verbosity | message_handlert | protected |
~message_handlert() | message_handlert | inlinevirtual |