add: added projectsHEADmain

1 files changed, 45 insertions, 0 deletions

diff --git a/tiger-compiler/src/assert/libassert.hxx b/tiger-compiler/src/assert/libassert.hxx
new file mode 100644
index 0000000..fcd2eb4
--- /dev/null
+++ b/tiger-compiler/src/assert/libassert.hxx
@@ -0,0 +1,45 @@
+/**
+ ** \file assert/libassert.hxx
+ ** \brief Implementation of functions exported by the assert module.
+ */
+
+#pragma once
+
+#include <memory>
+
+#include <assert/desugar-visitor.hh>
+#include <assert/libassert.hh>
+#include <misc/contract.hh>
+#include <misc/error.hh>
+
+namespace assert
+{
+
+  template <typename A> void bind_and_types_check(A& tree)
+  {
+    misc::error e;
+    e << ::assert::bind(tree);
+    e.ice_on_error_here();
+    e << ::assert::types_check(tree);
+    e.ice_on_error_here();
+  }
+
+  template <typename A>
+  A* raw_desugar(const A& tree, bool desugar_for_p, bool desugar_string_cmp_p)
+  {
+    DesugarVisitor desugar(desugar_for_p, desugar_string_cmp_p);
+    desugar(tree);
+    return dynamic_cast<A*>(desugar.result_get());
+  }
+
+  template <typename A>
+  A* desugar(const A& tree, bool desugar_for_p, bool desugar_string_cmp_p)
+  {
+    A* desugared = raw_desugar(tree, desugar_for_p, desugar_string_cmp_p);
+    assertion(desugared);
+    std::unique_ptr<A> desugared_ptr(desugared);
+    bind_and_types_check(*desugared_ptr);
+    return desugared_ptr.release();
+  }
+
+}