mcrl2::log Namespace Reference

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

Typedefs
using	mcrl2_logger = mcrl2::log::logger

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

Functions
std::string	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	log_level_from_string (const std::string &s)
	Convert string to log level.
std::string	format_time (const time_t *t)
std::set< output_policy * >	initialise_output_policies ()
	Initialise the output policies. This returns the singleton set containing the default output policy.
output_policy &	default_output_policy ()
	The default output policy used by the logger.
bool	mCRL2logEnabled (const log_level_t level)

Typedef Documentation

mcrl2_logger

using mcrl2::log::mcrl2_logger = typedef mcrl2::log::logger

Definition at line 28 of file ltsmin.h.

Enumeration Type Documentation

log_level_t

enum mcrl2::log::log_level_t

Log levels that are supported.

Note

log_debugi with i>=1 automatically indent 2*i spaces.

Enumerator
quiet
error
warning
info
status
verbose
debug
trace

Definition at line 30 of file logger.h.

Function Documentation

default_output_policy()

output_policy & mcrl2::log::default_output_policy ( )

inline

The default output policy used by the logger.

Definition at line 366 of file logger.h.

format_time()

std::string mcrl2::log::format_time

(

const time_t *

t

)

Definition at line 17 of file logger.cpp.

initialise_output_policies()

std::set< output_policy * > mcrl2::log::initialise_output_policies ( )

inline

Initialise the output policies. This returns the singleton set containing the default output policy.

Definition at line 375 of file logger.h.

log_level_from_string()

log_level_t mcrl2::log::log_level_from_string ( const std::string &  s )

inline

Convert string to log level.

Definition at line 54 of file logger.h.

log_level_to_string()

std::string mcrl2::log::log_level_to_string ( const log_level_t  level )

inline

Convert log level to string This string is used to prefix messages in the logging output.

Definition at line 45 of file logger.h.

mCRL2logEnabled()

bool mcrl2::log::mCRL2logEnabled ( const log_level_t  level )

inline

Returns

True whenever the logging for the given level is enabled.

Definition at line 383 of file logger.h.