Include file:

#include "mcrl2/utilities/logger.h
class mcrl2::log::formatter_interface

Public static member functions

static std::string format(const log_level_t level, const std::string &hint, const time_t timestamp, const std::string &msg, const bool print_time_information)

Format msg,.


  • level The log level of the message
  • hint The hint provided for the message
  • timestamp The timestamp of the log message
  • msg The message to be formatted
  • print_time_information A boolean that if true indicates that time usage information must be printed. If false this information is suppressed.

Returns: The formatted message (msg)