mCRL2
Loading...
Searching...
No Matches
Static Public Member Functions | Static Protected Member Functions | List of all members
mcrl2::log::formatter Class Reference

Mixin that takes care of formatting of a message. More...

#include <logger.h>

Inheritance diagram for mcrl2::log::formatter:
mcrl2::log::formatter_interface

Static Public Member Functions

static std::string format (const log_level_t level, const time_t timestamp, const std::string &msg, const bool print_time_information)
 Prefix each line in s with some extra information. The things that are added are:
 
- Static Public Member Functions inherited from mcrl2::log::formatter_interface
static std::string format (const log_level_t level, const time_t timestamp, const std::string &msg, const bool print_time_information)
 Format msg,.
 

Static Protected Member Functions

static std::atomic< bool > & last_message_ended_with_newline ()
 Records whether the last message that was printed ended with a new line.
 
static std::atomic< bool > & last_message_was_status ()
 
static std::atomic< std::size_t > & caret_pos ()
 
static std::atomic< std::size_t > & last_caret_pos ()
 

Detailed Description

Mixin that takes care of formatting of a message.

In this case, the formatter

Definition at line 272 of file logger.h.

Member Function Documentation

◆ caret_pos()

static std::atomic< std::size_t > & mcrl2::log::formatter::caret_pos ( )
inlinestaticprotected

Definition at line 292 of file logger.h.

◆ format()

std::string mcrl2::log::formatter::format ( const log_level_t  level,
const time_t  timestamp,
const std::string &  msg,
const bool  print_time_information 
)
static

Prefix each line in s with some extra information. The things that are added are:

  • current time
  • log level
  • indentation

Definition at line 32 of file logger.cpp.

◆ last_caret_pos()

static std::atomic< std::size_t > & mcrl2::log::formatter::last_caret_pos ( )
inlinestaticprotected

Definition at line 299 of file logger.h.

◆ last_message_ended_with_newline()

static std::atomic< bool > & mcrl2::log::formatter::last_message_ended_with_newline ( )
inlinestaticprotected

Records whether the last message that was printed ended with a new line.

Definition at line 278 of file logger.h.

◆ last_message_was_status()

static std::atomic< bool > & mcrl2::log::formatter::last_message_was_status ( )
inlinestaticprotected

Definition at line 285 of file logger.h.

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