Standalone MIRI - Hacking along, hit a blocker that will need some refactor.

1 files changed, 42 insertions, 0 deletions

diff --git a/tools/standalone_miri/debug.cpp b/tools/standalone_miri/debug.cpp
new file mode 100644
index 00000000..503d775a
--- /dev/null
+++ b/tools/standalone_miri/debug.cpp
@@ -0,0 +1,42 @@
+#include "debug.hpp"
+
+DebugSink::DebugSink(::std::ostream& inner):
+    m_inner(inner)
+{
+}
+DebugSink::~DebugSink()
+{
+    m_inner << "\n";
+}
+bool DebugSink::enabled(const char* fcn_name)
+{
+    return true;
+}
+DebugSink DebugSink::get(const char* fcn_name, const char* file, unsigned line, DebugLevel lvl)
+{
+    switch(lvl)
+    {
+    case DebugLevel::Trace:
+        ::std::cout << "Trace: " << file << ":" << line << ": ";
+        break;
+    case DebugLevel::Debug:
+        ::std::cout << "DEBUG: " << fcn_name << ": ";
+        break;
+    case DebugLevel::Notice:
+        ::std::cout << "NOTE: ";
+        break;
+    case DebugLevel::Warn:
+        ::std::cout << "WARN: ";
+        break;
+    case DebugLevel::Error:
+        ::std::cout << "ERROR: ";
+        break;
+    case DebugLevel::Fatal:
+        ::std::cout << "FATAL: ";
+        break;
+    case DebugLevel::Bug:
+        ::std::cout << "BUG: " << fcn_name << ": ";
+        break;
+    }
+    return DebugSink(::std::cout);
+}
\ No newline at end of file