From d91f403d9971c2cbdfbea6506ee07f0b4efaf273 Mon Sep 17 00:00:00 2001
From: NukeBird <nukebird.dev@gmail.com>
Date: Thu, 13 Feb 2025 18:58:58 +0300
Subject: [PATCH] Add dbc.hpp

---
 dbc.hpp | 29 +++++++++++++++++++++++++++++
 1 file changed, 29 insertions(+)
 create mode 100644 dbc.hpp

diff --git a/dbc.hpp b/dbc.hpp
new file mode 100644
index 0000000..919d729
--- /dev/null
+++ b/dbc.hpp
@@ -0,0 +1,29 @@
+#pragma once
+
+#include <string>
+#include <fmt/core.h>
+#include <functional>
+
+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);
+  void sentinel(const string &message);
+  void pre(const string &message, bool test);
+  void pre(const string &message, std::function<bool()> tester);
+  void post(const string &message, bool test);
+  void post(const string &message, std::function<bool()> tester);
+  void check(bool test, const string &message);
+}