summaryrefslogtreecommitdiff
path: root/tiger-compiler/src/ast/assert-visitor.hxx
diff options
context:
space:
mode:
Diffstat (limited to 'tiger-compiler/src/ast/assert-visitor.hxx')
-rw-r--r--tiger-compiler/src/ast/assert-visitor.hxx32
1 files changed, 32 insertions, 0 deletions
diff --git a/tiger-compiler/src/ast/assert-visitor.hxx b/tiger-compiler/src/ast/assert-visitor.hxx
new file mode 100644
index 0000000..c55bb43
--- /dev/null
+++ b/tiger-compiler/src/ast/assert-visitor.hxx
@@ -0,0 +1,32 @@
+/**
+ ** \file ast/assert-visitor.hxx
+ ** \brief Implementation for ast/assert-visitor.hh.
+ */
+
+#pragma once
+
+#include <ast/assert-exp.hh>
+#include <ast/assert-visitor.hh>
+
+namespace ast
+{
+ template <template <typename> class Const>
+ GenAssertVisitor<Const>::GenAssertVisitor()
+ : GenVisitor<Const>()
+ {}
+
+ template <template <typename> class Const>
+ GenAssertVisitor<Const>::~GenAssertVisitor()
+ {}
+
+ /*-------------------------------.
+ | Assert-related visit method. |
+ `-------------------------------*/
+
+ template <template <typename> class Const>
+ void GenAssertVisitor<Const>::operator()(const_t<AssertExp>& e)
+ {
+ e.cond_get().accept(*this);
+ }
+
+} // namespace ast