logging.h File Reference

#include <carl/io/streamingOperators.h>
#include <l3pp.h>
#include <sstream>
#include <type_traits>

Include dependency graph for logging.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces
namespace	l3pp
namespace	storm
namespace	storm::utility

Macros
#define	STORM_LOG_TRACE(message)
#define	STORM_LOG_DEBUG(message)
#define	STORM_LOG_INFO(message)
#define	STORM_LOG_WARN(message)
#define	STORM_LOG_ERROR(message)
#define	STORM_LOG_STATISTICS(message)
#define	STORM_LOG_PROGRESS(message)
#define	STORM_LOG_LAZY_ON_CHANNEL(channel, level, ...)
#define	STORM_LOG_STATISTICS_LAZY(...)
#define	STORM_LOG_PROGRESS_LAZY(...)

Variables
constexpr const char *	storm::utility::STATISTICS_LOG_CHANNEL = "storm.statistics"
constexpr const char *	storm::utility::PROGRESS_LOG_CHANNEL = "storm.progress"

Macro Definition Documentation

STORM_LOG_DEBUG

#define STORM_LOG_DEBUG

(

message

)

Value:

L3PP_LOG_DEBUG(l3pp::Logger::getRootLogger(), message)

Definition at line 21 of file logging.h.

STORM_LOG_ERROR

#define STORM_LOG_ERROR

(

message

)

Value:

L3PP_LOG_ERROR(l3pp::Logger::getRootLogger(), message)

Definition at line 29 of file logging.h.

STORM_LOG_INFO

#define STORM_LOG_INFO

(

message

)

Value:

L3PP_LOG_INFO(l3pp::Logger::getRootLogger(), message)

Definition at line 27 of file logging.h.

STORM_LOG_LAZY_ON_CHANNEL

#define STORM_LOG_LAZY_ON_CHANNEL	(		channel,
			level,
			... )

Value:

    do {                                                                                                                                                      \
        auto storm_log_lazy_channel = l3pp::Logger::getLogger(channel);                                                                                       \
        if (storm_log_lazy_channel->getLevel() <= (level)) {                                                                                                  \
            auto storm_log_lazy_callback = __VA_ARGS__;                                                                                                       \
            static_assert(std::is_invocable_r_v<bool, decltype(storm_log_lazy_callback), std::ostream&>, "callback must have signature bool(std::ostream&)"); \
            std::ostringstream storm_log_lazy_stream;                                                                                                         \
            if (storm_log_lazy_callback(storm_log_lazy_stream)) {                                                                                             \
                storm_log_lazy_channel->log(level, __L3PP_LOG_RECORD) << storm_log_lazy_stream.str();                                                         \
            }                                                                                                                                                 \
        }                                                                                                                                                     \
    } while (false)

Definition at line 54 of file logging.h.

STORM_LOG_PROGRESS

#define STORM_LOG_PROGRESS

(

message

)

Value:

L3PP_LOG_INFO(storm::utility::PROGRESS_LOG_CHANNEL, message)

Definition at line 42 of file logging.h.

STORM_LOG_PROGRESS_LAZY

#define STORM_LOG_PROGRESS_LAZY

(

...

)

Value:

STORM_LOG_LAZY_ON_CHANNEL(storm::utility::PROGRESS_LOG_CHANNEL, l3pp::LogLevel::INFO, __VA_ARGS__)

Definition at line 70 of file logging.h.

STORM_LOG_STATISTICS

#define STORM_LOG_STATISTICS

(

message

)

Value:

L3PP_LOG_INFO(storm::utility::STATISTICS_LOG_CHANNEL, message)

Definition at line 41 of file logging.h.

STORM_LOG_STATISTICS_LAZY

#define STORM_LOG_STATISTICS_LAZY

(

...

)

Value:

STORM_LOG_LAZY_ON_CHANNEL(storm::utility::STATISTICS_LOG_CHANNEL, l3pp::LogLevel::INFO, __VA_ARGS__)

Definition at line 68 of file logging.h.

STORM_LOG_TRACE

#define STORM_LOG_TRACE

(

message

)

Value:

L3PP_LOG_TRACE(l3pp::Logger::getRootLogger(), message)

Definition at line 15 of file logging.h.

STORM_LOG_WARN

#define STORM_LOG_WARN

(

message

)

Value:

L3PP_LOG_WARN(l3pp::Logger::getRootLogger(), message)

Definition at line 28 of file logging.h.