1 files changed, 34 insertions, 0 deletions
diff --git a/tiger-compiler/src/ast/non-assert-visitor.hxx b/tiger-compiler/src/ast/non-assert-visitor.hxx
new file mode 100644
index 0000000..dd0990d
--- /dev/null
+++ b/tiger-compiler/src/ast/non-assert-visitor.hxx
@@ -0,0 +1,34 @@
+/**
+ ** \file ast/assert-visitor.hxx
+ ** \brief Implementation for ast/assert-visitor.hh.
+ */
+
+#pragma once
+
+#include <ast/assert-exp.hh>
+#include <ast/assert-visitor.hh>
+#include <misc/contract.hh>
+
+namespace ast
+{
+  template <template <typename> class Const>
+  GenNonAssertVisitor<Const>::GenNonAssertVisitor()
+    : GenVisitor<Const>()
+  {}
+
+  template <template <typename> class Const>
+  GenNonAssertVisitor<Const>::~GenNonAssertVisitor()
+  {}
+
+  /*-------------------------------.
+  |  Assert-related visit method.  |
+  `-------------------------------*/
+
+  template <template <typename> class Const>
+  void GenNonAssertVisitor<Const>::operator()(const_t<AssertExp>&)
+  {
+    // We must not be here (there should be no assert feature in plain Tiger).
+    unreachable();
+  }
+
+} // namespace ast