10 #ifndef CPROVER_UTIL_MESSAGE_H 11 #define CPROVER_UTIL_MESSAGE_H 27 virtual void print(
unsigned level,
const std::string &message) = 0;
31 const std::string &message,
35 virtual void flush(
unsigned level)
63 virtual void print(
unsigned level,
const std::string &message)
70 const std::string &message,
74 print(level, message);
85 virtual void print(
unsigned level,
const std::string &message)
90 out << message <<
'\n';
93 virtual void flush(
unsigned level)
159 unsigned _message_level,
180 static_cast<std::ostream &
>(*this) << x;
205 m.str(std::string());
213 static_cast<std::ostream &
>(m) << std::endl;
263 #endif // CPROVER_UTIL_MESSAGE_H
stream_message_handlert(std::ostream &_out)
static mstreamt & eom(mstreamt &m)
virtual void print(unsigned level, const std::string &message)
#define INVARIANT(CONDITION, REASON)
unsigned get_verbosity() const
messaget(const messaget &other)
mstreamt & get_mstream(unsigned message_level)
source_locationt source_location
virtual void print(unsigned level, const std::string &message, int sequence_number, const source_locationt &location)
static mstreamt & endl(mstreamt &m)
virtual void set_message_handler(message_handlert &_message_handler)
virtual void print(unsigned level, const std::string &message)
virtual void flush(unsigned level)
messaget(message_handlert &_message_handler)
message_handlert & get_message_handler()
mstreamt & operator<<(const T &x)
std::vector< unsigned > message_count
mstreamt(unsigned _message_level, messaget &_message)
void set_verbosity(unsigned _verbosity)
virtual ~message_handlert()
virtual void flush(unsigned level)
message_handlert * message_handler
mstreamt(const mstreamt &other)
virtual void print(unsigned level, const std::string &message)=0
unsigned get_message_count(unsigned level) const