#include <cstddef>
#include <cassert>
#include <exception>
#include <stdexcept>
#include <ostream>
#include "ndarray/ndspan.h"
#include "debug.h"
#include "exceptions.h"
Go to the source code of this file.
|
std::ostream & | mf::operator<< (std::ostream &str, const time_span &span) |
|
#define MF_ASSERT |
( |
|
condition | ) |
MF_ASSERT_MSG(condition, "`" #condition "`") |
#define MF_ASSERT_MSG |
( |
|
condition, |
|
|
|
msg |
|
) |
| |
Value:
std::abort(); \
}
#define MF_DEBUG_BACKTRACE(caption)
Definition: debug.h:25
#define MF_ENSURES |
( |
|
condition | ) |
MF_EXPECTS_MSG(condition, "`" #condition "`") |
#define MF_ENSURES_MSG |
( |
|
condition, |
|
|
|
msg |
|
) |
| MF_ASSERT_MSG(condition, "postcondition: " msg) |
#define MF_EXPECTS |
( |
|
condition | ) |
MF_EXPECTS_MSG(condition, "`" #condition "`") |
#define MF_EXPECTS_MSG |
( |
|
condition, |
|
|
|
msg |
|
) |
| MF_ASSERT_MSG(condition, "precondition: " msg) |