From 967be9e750221ab2ab783f95df79bb26d290a45e Mon Sep 17 00:00:00 2001
From: Martial Simon <msimon_fr@hotmail.com>
Date: Mon, 15 Sep 2025 01:07:58 +0200
Subject: add: added projects

---
 tiger-compiler/src/ast/default-visitor.hh | 151 ++++++++++++++++++++++++++++++
 1 file changed, 151 insertions(+)
 create mode 100644 tiger-compiler/src/ast/default-visitor.hh

(limited to 'tiger-compiler/src/ast/default-visitor.hh')

diff --git a/tiger-compiler/src/ast/default-visitor.hh b/tiger-compiler/src/ast/default-visitor.hh
new file mode 100644
index 0000000..e4e2355
--- /dev/null
+++ b/tiger-compiler/src/ast/default-visitor.hh
@@ -0,0 +1,151 @@
+/**
+ ** \file ast/default-visitor.hh
+ ** \brief Traverse an Abstract Syntax Tree (w/o objects), doing nothing.
+ */
+
+#pragma once
+
+#include <ast/visitor.hh>
+
+namespace ast
+{
+  /** \brief Just visit the whole Ast tree (except object-related nodes).
+
+      GenDefaultVisitor<CONSTNESS-SELECTOR> visits non-object-related
+      node of the the whole Ast tree, but does nothing else.
+
+      Beware, as there are no implementations visiting object-oriented
+      constructs (classes, objects, methods), hence this class is
+      abstract.
+
+      ast::GenDefaultVisitor inherits virtually from ast::GenVisitor
+      to allow diamond inheritance, e.g. so that a subclass of
+      ast::GenDefaultVisitor can also inherit missing object-related
+      implementations from another class (inheriting from
+      ast::GenVisitor).
+
+      \see ast::NonObjectVisitor for more information.  */
+  template <template <typename> class Const>
+  class GenDefaultVisitor : public virtual GenVisitor<Const>
+  {
+  public:
+    /// Super class type.
+    using super_type = GenVisitor<Const>;
+
+    // Import overloaded \c operator() methods.
+    using super_type::operator();
+
+    /// Convenient abbreviation.
+    template <typename Type> using const_t = typename Const<Type>::type;
+
+    /** \name Ctor & dtor.
+     ** \{ */
+    /// Construct a default visitor.
+    GenDefaultVisitor();
+    /// Destroy a default visitor.
+    virtual ~GenDefaultVisitor();
+    /** \} */
+
+    /* We cannot simply use `using super_type::operator()' here,
+       otherwise the linker would complain about missing symbols for
+       these methods:
+
+         GenVisitor<id_traits>::operator()(ast::MethodDec&)
+         GenVisitor<id_traits>::operator()(ast::MethodCallExp&)
+
+       This behavior seems to come from the mix between diamond
+       inheritance and templates.  We redefine the following operator
+       (delegating to GenVisitor's operator()) as a workaround.  */
+    void operator()(const_t<Ast>& e) override;
+
+    /** \name Visit Variable related nodes.
+     ** \{ */
+    void operator()(const_t<SimpleVar>& e) override;
+    void operator()(const_t<FieldVar>& e) override;
+    void operator()(const_t<SubscriptVar>& e) override;
+    /** \} */
+
+    /** \name Visit Expression related nodes.
+     ** \{ */
+    void operator()(const_t<NilExp>& e) override;
+    void operator()(const_t<IntExp>& e) override;
+    void operator()(const_t<StringExp>& e) override;
+    void operator()(const_t<CallExp>& e) override;
+    void operator()(const_t<OpExp>& e) override;
+    void operator()(const_t<RecordExp>& e) override;
+    void operator()(const_t<SeqExp>& e) override;
+    void operator()(const_t<AssignExp>& e) override;
+    void operator()(const_t<IfExp>& e) override;
+    void operator()(const_t<WhileExp>& e) override;
+    void operator()(const_t<ForExp>& e) override;
+    void operator()(const_t<BreakExp>&) override;
+    void operator()(const_t<LetExp>& e) override;
+    void operator()(const_t<ArrayExp>& e) override;
+    void operator()(const_t<CastExp>& e) override;
+    void operator()(const_t<FieldInit>& e) override;
+    /** \} */
+
+    /** \name Visit Declaration related nodes.
+     **
+     ** Visiting declarations is simple, but there are many clauses.
+     ** This is because, in Tiger, the declarations are processed by
+     ** chunks (a chunk of Function declarations, then Var or Type,
+     ** then ...).
+     ** So we have to explain
+     ** \li How to visit a list of chunks;
+     ** \li how to visit chunks of function, var, or type declarations;
+     ** \li how to visit a single function, var, or type declaration.
+     ** \{ */
+
+    /// Visit a list of function, type and/or variables declarations.
+    void operator()(const_t<ChunkList>& e) override;
+
+    /// Visit a ChunkInterface chunks.
+    virtual void operator()(const_t<ChunkInterface>& e);
+
+    template <typename ChunkType>
+    /** \brief Visit a chunk (i.e., a list of Function, Var, and Type declarations).
+     **
+     ** It is exactly the same in the three cases, so the code is
+     ** factored via a template method. */
+    void chunk_visit(const_t<ChunkType>& e);
+
+    /// Visit Var declarations.
+    void operator()(const_t<VarChunk>& e) override;
+    void operator()(const_t<VarDec>& e) override;
+
+    /// Visit Function declarations.
+    void operator()(const_t<FunctionChunk>& e) override;
+    void operator()(const_t<FunctionDec>& e) override;
+
+    /// Visit Type declarations.
+    void operator()(const_t<TypeChunk>& e) override;
+    void operator()(const_t<TypeDec>& e) override;
+
+    /** \} */
+
+    /** \name Visit Type related nodes.
+     ** \{ */
+    void operator()(const_t<NameTy>& e) override;
+    void operator()(const_t<RecordTy>& e) override;
+    void operator()(const_t<ArrayTy>& e) override;
+    /** \} */
+
+    /** \name Visit Field related nodes. */
+    void operator()(const_t<Field>& e) override;
+  };
+
+  /// Shorthand for a const visitor.
+  using DefaultConstVisitor = GenDefaultVisitor<misc::constify_traits>;
+  /// Shorthand for a non const visitor.
+  using DefaultVisitor = GenDefaultVisitor<misc::id_traits>;
+
+#ifdef SWIG
+  /// Shorthand for a const visitor.
+  %template(DefaultConstVisitor) GenDefaultVisitor<misc::constify_traits>;
+  /// Shorthand for a non const visitor.
+  %template(DefaultVisitor) GenDefaultVisitor<misc::id_traits>;
+#endif
+} // namespace ast
+
+#include <ast/default-visitor.hxx>
-- 
cgit v1.2.3