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 ()
	Constructor.
virtual	~output_policy ()
	Destructor.
virtual void	output (const log_level_t level, const time_t timestamp, const std::string &msg, const 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 99 of file logger.h.

Constructor & Destructor Documentation

output_policy()

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

inline

Constructor.

Definition at line 103 of file logger.h.

~output_policy()

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

inlinevirtual

Destructor.

Definition at line 107 of file logger.h.

Member Function Documentation

output()

virtual void mcrl2::log::output_policy::output ( const log_level_t  level, const time_t  timestamp, const std::string &  msg, const 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::gui::qt::LogRelay, and mcrl2::log::file_output.

---

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

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