Storm 1.14.0.1
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
macros.h File Reference
#include "storm/utility/logging.h"
#include <cassert>
Include dependency graph for macros.h:

Go to the source code of this file.

Macros

#define STORM_LOG_ASSERT(cond, message)
#define STORM_LOG_WARN_COND_DEBUG(cond, message)
#define STORM_LOG_THROW(cond, exception, message)
#define STORM_LOG_WARN_COND(cond, message)
#define STORM_LOG_INFO_COND(cond, message)
#define STORM_LOG_ERROR_COND(cond, message)

Macro Definition Documentation

◆ 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_ERROR_COND

#define STORM_LOG_ERROR_COND ( cond,
message )
Value:
do { \
if (!(cond)) { \
STORM_LOG_ERROR(message); \
} \
} while (false)

Definition at line 50 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 43 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 28 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 36 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.