#include "storm/utility/logging.h"
#include <cassert>
Go to the source code of this file.
◆ STORM_LOG_ASSERT
| #define STORM_LOG_ASSERT |
( |
| cond, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_ERROR(message); \
assert(cond); \
} \
} while (false)
Definition at line 9 of file macros.h.
◆ STORM_LOG_DEPRECATED
| #define STORM_LOG_DEPRECATED |
( |
| message | ) |
|
Value: do { \
static bool const storm_deprecation_reported = [&] { \
STORM_LOG_WARN("Deprecated: " << message); \
return true; \
}(); \
(void)storm_deprecation_reported; \
} while (false)
Definition at line 24 of file macros.h.
◆ STORM_LOG_ERROR_COND
| #define STORM_LOG_ERROR_COND |
( |
| cond, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_ERROR(message); \
} \
} while (false)
Definition at line 68 of file macros.h.
◆ STORM_LOG_INFO_COND
| #define STORM_LOG_INFO_COND |
( |
| cond, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_INFO(message); \
} \
} while (false)
Definition at line 61 of file macros.h.
◆ STORM_LOG_THROW
| #define STORM_LOG_THROW |
( |
| cond, |
|
|
| exception, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_ERROR(message); \
throw exception() << message; \
} \
} while (false)
Definition at line 39 of file macros.h.
◆ STORM_LOG_THROW_UNCONDITIONALLY
| #define STORM_LOG_THROW_UNCONDITIONALLY |
( |
| exception, |
|
|
| message ) |
Value: do { \
STORM_LOG_ERROR(message); \
throw exception() << message; \
} while (false)
Definition at line 48 of file macros.h.
◆ STORM_LOG_WARN_COND
| #define STORM_LOG_WARN_COND |
( |
| cond, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_WARN(message); \
} \
} while (false)
Definition at line 54 of file macros.h.
◆ STORM_LOG_WARN_COND_DEBUG
| #define STORM_LOG_WARN_COND_DEBUG |
( |
| cond, |
|
|
| message ) |
Value: do { \
if (!(cond)) { \
STORM_LOG_WARN(message); \
} \
} while (false)
Definition at line 16 of file macros.h.