Storm
A Modern Probabilistic Model Checker
Loading...
Searching...
No Matches
macros.h File Reference
#include "storm/utility/logging.h"
#include <cassert>
#include <iosfwd>
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)
 
#define STORM_PRINT(message)
 Define the macros that print information and optionally also log it.
 
#define STORM_PRINT_AND_LOG(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 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.