mCRL2
Loading...
Searching...
No Matches
logger.h File Reference

Go to the source code of this file.

Classes

class  mcrl2::log::output_policy
 Interface class for output policy. More...
 
class  mcrl2::log::logger
 Class for logging messages. More...
 
class  mcrl2::log::formatter_interface
 
class  mcrl2::log::formatter
 Mixin that takes care of formatting of a message. More...
 
class  mcrl2::log::file_output
 File output class. More...
 

Namespaces

namespace  mcrl2
 A class that takes a linear process specification and checks all tau-summands of that LPS for confluence.
 
namespace  mcrl2::log
 

Macros

#define mCRL2log(LEVEL)   if (mcrl2::log::mCRL2logEnabled(LEVEL)) mcrl2::log::logger().get(LEVEL)
 mCRL2log(LEVEL) provides the stream used to log.
 

Enumerations

enum  mcrl2::log::log_level_t {
  mcrl2::log::quiet , mcrl2::log::error , mcrl2::log::warning , mcrl2::log::info ,
  mcrl2::log::status , mcrl2::log::verbose , mcrl2::log::debug , mcrl2::log::trace
}
 Log levels that are supported. More...
 

Functions

std::string mcrl2::log::log_level_to_string (const log_level_t level)
 Convert log level to string This string is used to prefix messages in the logging output.
 
log_level_t mcrl2::log::log_level_from_string (const std::string &s)
 Convert string to log level.
 
std::string mcrl2::log::format_time (const time_t *t)
 
std::set< output_policy * > mcrl2::log::initialise_output_policies ()
 Initialise the output policies. This returns the singleton set containing the default output policy.
 
output_policymcrl2::log::default_output_policy ()
 The default output policy used by the logger.
 
bool mcrl2::log::mCRL2logEnabled (const log_level_t level)
 

Macro Definition Documentation

◆ mCRL2log

#define mCRL2log (   LEVEL)    if (mcrl2::log::mCRL2logEnabled(LEVEL)) mcrl2::log::logger().get(LEVEL)

mCRL2log(LEVEL) provides the stream used to log.

Definition at line 395 of file logger.h.