cprover
|
#include <message.h>
Public Member Functions | |
virtual void | print (unsigned level, const std::string &message) |
virtual void | print (unsigned level, const std::string &message, int sequence_number, const source_locationt &location) |
Additional Inherited Members |
|
inlinevirtual |
Implements message_handlert.
Definition at line 63 of file message.h.
References message_handlert::print().
Referenced by print().
|
inlinevirtual |