message.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
 
#include "message.h"
 
#include "json.h"
#include "string2int.h"
#include "structured_data.h"
 
void message_handlert::print(
  unsigned level,
  const std::string &message,
  const source_locationt &location)
{
  std::string dest;
 
  const irep_idt &file=location.get_file();
  const irep_idt &line=location.get_line();
  const irep_idt &column=location.get_column();
  const irep_idt &function=location.get_function();
 
  if(!file.empty())
  {
    if(!dest.empty())
      dest+=' ';
    dest+="file "+id2string(file);
  }
  if(!line.empty())
  {
    if(!dest.empty())
      dest+=' ';
    dest+="line "+id2string(line);
  }
  if(!column.empty())
  {
    if(!dest.empty())
      dest+=' ';
    dest+="column "+id2string(column);
  }
  if(!function.empty())
  {
    if(!dest.empty())
      dest+=' ';
    dest+="function "+id2string(function);
  }
 
  if(!dest.empty())
    dest+=": ";
  dest+=message;
 
  print(level, dest);
}
void message_handlert::print( {…}
 
void message_handlert::print(
  unsigned level,
  const std::string &)
{
  if(level>=message_count.size())
    message_count.resize(level+1, 0);
  ++message_count[level];
}
void message_handlert::print( {…}
void message_handlert::print(unsigned level, const structured_datat &data)
{
  // default to just printing out the data in a format
  print(level, to_pretty(data));
}
void message_handlert::print(unsigned level, const structured_datat &data) {…}
 
messaget::~messaget()
{
}
messaget::~messaget() {…}
 
// Visual studio requires this (empty) static object
messaget::eomt messaget::eom;
 
const messaget::commandt messaget::reset(0);
const messaget::commandt messaget::bold(1);
const messaget::commandt messaget::faint(2);
const messaget::commandt messaget::italic(3);
const messaget::commandt messaget::underline(4);
const messaget::commandt messaget::red(31);
const messaget::commandt messaget::green(32);
const messaget::commandt messaget::yellow(33);
const messaget::commandt messaget::blue(34);
const messaget::commandt messaget::magenta(35);
const messaget::commandt messaget::cyan(36);
const messaget::commandt messaget::bright_red(91);
const messaget::commandt messaget::bright_green(92);
const messaget::commandt messaget::bright_yellow(93);
const messaget::commandt messaget::bright_blue(94);
const messaget::commandt messaget::bright_magenta(95);
const messaget::commandt messaget::bright_cyan(96);
 
unsigned messaget::eval_verbosity(
  const std::string &user_input,
  const message_levelt default_verbosity,
  message_handlert &dest)
{
  unsigned v = default_verbosity;
 
  if(!user_input.empty())
  {
    v = unsafe_string2unsigned(user_input);
 
    if(v > messaget::M_DEBUG)
    {
      dest.print(
        messaget::M_WARNING,
        "verbosity value " + user_input + " out of range, using debug-level (" +
          std::to_string(messaget::M_DEBUG) + ") verbosity",
        source_locationt());
 
      v = messaget::M_DEBUG;
    }
  }
 
  dest.set_verbosity(v);
 
  return v;
}
unsigned messaget::eval_verbosity( {…}
 
void messaget::conditional_output(
  mstreamt &message_stream,
  const std::function<void(mstreamt &)> &output_generator) const
{
  if(
    message_handler &&
    message_handler->get_verbosity() >= message_stream.message_level)
  {
    output_generator(mstream);
  }
}
void messaget::conditional_output( {…}
 
messaget::mstreamt &messaget::mstreamt::operator<<(const json_objectt &data)
{
  if(this->tellp() > 0)
    *this << eom; // force end of previous message
  if(message.message_handler)
  {
    message.message_handler->print(message_level, data);
  }
  return *this;
}
messaget::mstreamt &messaget::mstreamt::operator<<(const json_objectt &data) {…}