1 files changed, 30 insertions, 0 deletions
diff --git a/tiger-compiler/src/assert/type-checker.hh b/tiger-compiler/src/assert/type-checker.hh
new file mode 100644
index 0000000..e15e393
--- /dev/null
+++ b/tiger-compiler/src/assert/type-checker.hh
@@ -0,0 +1,30 @@
+/**
+ ** \file assert/type-checker.hh
+ ** \brief Declaration of assert::TypeChecker.
+ */
+
+#pragma once
+
+#include <ast/assert-visitor.hh>
+#include <type/type-checker.hh>
+
+namespace assert {
+
+  class TypeChecker
+    : public type::TypeChecker
+    , public ast::AssertVisitor
+  {
+  public:
+    using super_type = type::TypeChecker;
+    using super_type::operator();
+
+    // Build a TypeChecker
+    TypeChecker();
+
+    // Type an AssertExp node. All AssertExp must follow the typing table :
+    // cond_ : int | assert cond_ : void
+    // \param e Node to visit
+    void operator()(ast::AssertExp& e) override;
+  };
+
+} // assert