You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
50 lines
1.4 KiB
50 lines
1.4 KiB
#pragma once
|
|
|
|
#include <string>
|
|
#include <fmt/core.h>
|
|
#include <functional>
|
|
#include <source_location>
|
|
|
|
using std::string;
|
|
|
|
namespace dbc {
|
|
class Error {
|
|
public:
|
|
const string message;
|
|
Error(string m) : message{m} {}
|
|
Error(const char *m) : message{m} {}
|
|
};
|
|
|
|
class CheckError : public Error {};
|
|
class SentinelError : public Error {};
|
|
class PreCondError : public Error {};
|
|
class PostCondError : public Error {};
|
|
|
|
void log(const string &message,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
[[noreturn]] void sentinel(const string &message,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
void pre(const string &message, bool test,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
void pre(const string &message, std::function<bool()> tester,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
void post(const string &message, bool test,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
void post(const string &message, std::function<bool()> tester,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
|
|
void check(bool test, const string &message,
|
|
const std::source_location location =
|
|
std::source_location::current());
|
|
}
|
|
|