mcrl2::log::output_policy Class Reference

Interface class for output policy. More...

#include <logger.h>

Inheritance diagram for mcrl2::log::output_policy:

Public Member Functions
	output_policy ()=default
	Constructor.
virtual	~output_policy ()=default
	Destructor.
virtual void	output (log_level_t level, time_t timestamp, const std::string &msg, bool print_time_information)=0
	Output message.

Detailed Description

Interface class for output policy.

Separates the exact way of doing output from the logger class.

Definition at line 101 of file logger.h.

Constructor & Destructor Documentation

output_policy()

mcrl2::log::output_policy::output_policy ( )

default

Constructor.

~output_policy()

virtual mcrl2::log::output_policy::~output_policy ( )

virtualdefault

Destructor.

Member Function Documentation

output()

virtual void mcrl2::log::output_policy::output ( log_level_t  level, time_t  timestamp, const std::string &  msg, bool  print_time_information  )

pure virtual

Output message.

Parameters

[in]	msg	Message that is written to output.
[in]	timestamp	Timestamp to use in the output.
[in]	level	The log level to print the message to.
[in]	print_time_information	An indication whether the time must be printed.

Any implementation must assure that output is written using an atomic action, to prevent mixing of different lines into one line in the output.

Implemented in mcrl2::log::file_output, and mcrl2::gui::qt::LogRelay.

---

The documentation for this class was generated from the following file:

• utilities/include/mcrl2/utilities/logger.h