1 files changed, 90 insertions, 0 deletions
diff --git a/tiger-compiler/src/type/named.hh b/tiger-compiler/src/type/named.hh
new file mode 100644
index 0000000..f8b914f
--- /dev/null
+++ b/tiger-compiler/src/type/named.hh
@@ -0,0 +1,90 @@
+/**
+ ** \file type/named.hh
+ ** \brief The class Named.
+ */
+#pragma once
+
+#include <misc/symbol.hh>
+#include <type/fwd.hh>
+#include <type/type.hh>
+
+namespace type
+{
+  /** \brief Named types.
+   **
+   ** Named types are used when new types are defined, i.e., in
+   ** \b Example: let type name_ = type_.
+   */
+  class Named : public Type
+  {
+    /** \name Ctor & dtor.
+     ** \{ */
+  public:
+    /** \brief Construct a Named type.
+     ** \param name user defined type's identifier. */
+    explicit Named(misc::symbol name);
+    /** \brief Construct a Named type.
+     ** \param name user defined type's identifier.
+     ** \param type defined type's structure */
+    Named(misc::symbol name, const Type* type);
+    /** \} */
+
+    /// \name Visitors entry point.
+    /** \{ */
+    /// Accept a const visitor \a v.
+    void accept(ConstVisitor& v) const override;
+    /// Accept a non-const visitor \a v.
+    void accept(Visitor& v) override;
+    /** \} */
+
+    /** \name Accessors.
+     ** \{ */
+    /// Return the user defined type's structure.
+    const Type* type_get() const;
+
+    /** \brief Set the defined type's structure.
+     **
+     ** This is the version which is used by TypeChecker which needs to
+     ** assign a value to the Named type. */
+    void type_set(const Type* type) const;
+
+    /// Return the name of this type.
+    misc::symbol name_get() const;
+
+    /// (Re)set the name of this type.
+    void name_set(misc::symbol name);
+    /** \} */
+
+    /** \name Type resolution.
+     ** \{ */
+    /// The type pointed to ultimately.
+    const Type& actual() const override;
+
+    /** \brief Whether the definition of this named type is sound,
+     ** i.e. that there is no recursive dependency.  */
+    bool sound() const;
+    /** \} */
+
+    bool compatible_with(const Type& other) const override;
+
+  protected:
+    /// Name of the defined type.
+    misc::symbol name_;
+
+    /** \brief The Type pointed to.
+     **
+     ** "Mutable const" because most of the time types are handled as
+     ** const objects.  But Named types are built in two steps: first
+     ** they are built without any value for \a type_ (by
+     ** TypeChecker::visit_dec_header <ast::TypeDec>), and then
+     ** they are completed (by TypeChecker::visit_dec_body <ast::TypeDec>).
+     ** Because the second step of the construction is actually seen
+     ** as a modification by the C++ type system, we have it accept
+     ** it thanks to mutable.
+     **/
+    mutable const Type* type_{};
+  };
+
+} // namespace type
+
+#include <type/named.hxx>