#include "storm/utility/logging.h"
#include <cassert>
#include <iosfwd>
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 11 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 52 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 45 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 30 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 38 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 18 of file macros.h.
◆ STORM_PRINT
#define STORM_PRINT |
( |
|
message | ) |
|
Value: do { \
std::cout << message; \
std::cout.flush(); \
} while (false)
Define the macros that print information and optionally also log it.
Definition at line 62 of file macros.h.
◆ STORM_PRINT_AND_LOG
#define STORM_PRINT_AND_LOG |
( |
|
message | ) |
|
Value: do { \
STORM_LOG_INFO(message); \
STORM_PRINT(message); \
} while (false)
Definition at line 68 of file macros.h.