|
cprover
|
#include <cl_message_handler.h>
Inheritance diagram for cl_message_handlert:
Collaboration diagram for cl_message_handlert:Public Member Functions | |
| void | print (unsigned, const xmlt &) override |
| void | print (unsigned, const jsont &) override |
| void | print (unsigned level, const std::string &message, const source_locationt &location) override |
| void | print (unsigned, const xmlt &) override |
| void | print (unsigned, const jsont &) override |
| virtual void | print (unsigned level, const std::string &message) override |
Additional Inherited Members |
Definition at line 14 of file cl_message_handler.h.
|
overridevirtual |
Reimplemented from console_message_handlert.
Definition at line 41 of file cout_message.cpp.
|
overridevirtual |
Reimplemented from message_handlert.
Definition at line 17 of file cl_message_handler.cpp.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 21 of file cl_message_handler.h.
|
inlineoverridevirtual |
Reimplemented from console_message_handlert.
Definition at line 36 of file cout_message.h.
|
inlineoverridevirtual |
Implements message_handlert.
Definition at line 17 of file cl_message_handler.h.
|
inlineoverridevirtual |
Reimplemented from console_message_handlert.
Definition at line 32 of file cout_message.h.