Introduce semantizer module for an operation tree verification

compiler/include/compiler/backend/optree/semantizer/semantizer.hpp

@@ -0,0 +1,21 @@
+#pragma once
+
+#include "compiler/optree/operation.hpp"
+#include "compiler/optree/program.hpp"
+
+namespace optree {
+namespace semantizer {
+
+class Semantizer {
+  public:
+    Semantizer() = delete;
+    Semantizer(const Semantizer &) = delete;
+    Semantizer(Semantizer &&) = delete;
+    ~Semantizer() = delete;
+
+    static void process(const Program &program);
+    static void process(const Operation::Ptr &op);
+};
+
+} // namespace semantizer
+} // namespace optree

compiler/include/compiler/backend/optree/semantizer/semantizer_context.hpp

@@ -0,0 +1,22 @@
+#pragma once
+
+#include <string>
+
+#include "compiler/optree/operation.hpp"
+#include "compiler/utils/error_buffer.hpp"
+
+#include "compiler/backend/optree/semantizer/semantizer_error.hpp"
+
+namespace optree {
+namespace semantizer {
+
+struct SemantizerContext {
+    ErrorBuffer errors;
+
+    void pushError(const Operation::Ptr &op, const std::string &message) {
+        errors.push<SemantizerError>(op, message);
+    }
+};
+
+} // namespace semantizer
+} // namespace optree

compiler/include/compiler/backend/optree/semantizer/semantizer_error.hpp

@@ -0,0 +1,18 @@
+#pragma once
+
+#include <string>
+
+#include "compiler/optree/operation.hpp"
+#include "compiler/utils/base_error.hpp"
+
+namespace optree {
+namespace semantizer {
+
+class SemantizerError : public BaseError {
+  public:
+    SemantizerError(const Operation::Ptr &op, const std::string &message) : BaseError(op->ref, message){};
+    ~SemantizerError() override = default;
+};
+
+} // namespace semantizer
+} // namespace optree

compiler/lib/backend/optree/semantizer/semantizer.cpp

@@ -0,0 +1,20 @@
+#include "semantizer/semantizer.hpp"
+
+#include "compiler/optree/operation.hpp"
+#include "compiler/optree/program.hpp"
+
+#include "semantizer/semantizer_context.hpp"
+
+using namespace optree;
+using namespace optree::semantizer;
+
+void Semantizer::process(const Program &program) {
+    return process(program.root);
+}
+
+void Semantizer::process(const Operation::Ptr &op) {
+    SemantizerContext ctx;
+
+    if (!ctx.errors.empty())
+        throw ctx.errors;
+}