Storm 1.10.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
logging.h
Go to the documentation of this file.
1#pragma once
2
3// Load streaming operator from CARL
4#include <carl/io/streamingOperators.h>
5namespace l3pp {
6using carl::operator<<;
7}
8
9#include <l3pp.h>
10
11#if !defined(STORM_LOG_DISABLE_DEBUG) && !defined(STORM_LOG_DISABLE_TRACE)
12#define STORM_LOG_TRACE(message) L3PP_LOG_TRACE(l3pp::Logger::getRootLogger(), message)
13#else
14#define STORM_LOG_TRACE(message) (void)(0)
15#endif
16
17#if !defined(STORM_LOG_DISABLE_DEBUG)
18#define STORM_LOG_DEBUG(message) L3PP_LOG_DEBUG(l3pp::Logger::getRootLogger(), message)
19#else
20#define STORM_LOG_DEBUG(message) (void)(0)
21#endif
22
23// Define STORM_LOG_WARN, STORM_LOG_ERROR and STORM_LOG_INFO to log the given message with the corresponding log levels.
24#define STORM_LOG_INFO(message) L3PP_LOG_INFO(l3pp::Logger::getRootLogger(), message)
25#define STORM_LOG_WARN(message) L3PP_LOG_WARN(l3pp::Logger::getRootLogger(), message)
26#define STORM_LOG_ERROR(message) L3PP_LOG_ERROR(l3pp::Logger::getRootLogger(), message)
Definition logging.h:5