16 const std::string &message,
61 const std::string &message)
79 const std::string &user_input,
83 unsigned v = default_verbosity;
85 if(!user_input.empty())
93 "verbosity value " + user_input +
" out of range, using debug-level (" +
115 const std::function<
void(
mstreamt &)> &output_generator)
const const std::string & id2string(const irep_idt &d)
unsigned unsafe_string2unsigned(const std::string &str, int base)
const irep_idt & get_function() const
static unsigned eval_verbosity(const std::string &user_input, const message_levelt default_verbosity, message_handlert &dest)
Parse a (user-)provided string as a verbosity level and set it as the verbosity of dest...
const irep_idt & get_column() const
unsigned get_verbosity() const
const irep_idt & get_line() const
const irep_idt & get_file() const
std::string to_string(const string_constraintt &expr)
Used for debug printing.
std::vector< unsigned > message_count
void conditional_output(mstreamt &mstream, const std::function< void(mstreamt &)> &output_generator) const
Generate output to mstream using output_generator if the configured verbosity is at least as high as ...
void set_verbosity(unsigned _verbosity)
message_handlert * message_handler
virtual void print(unsigned level, const std::string &message)=0