mcrl2::log::formatter_interface

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,.

Parameters:

• 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)