CBMC
|
Public Member Functions | |
api_message_handlert (api_message_callbackt callback, api_call_back_contextt context) | |
void | print (unsigned level, const std::string &message) override |
void | print (unsigned level, const xmlt &xml) override |
void | print (unsigned level, const jsont &json) override |
void | flush (unsigned) override |
Private Attributes | |
api_call_back_contextt | context |
api_message_callbackt | callback |
Additional Inherited Members |
|
explicit |
Implements message_handlert.
Implements message_handlert.
Implements message_handlert.
Implements message_handlert.
|
private |
|
private |