/**
 ** \file object/renamer.hh
 ** \brief Implementation of object::Renamer.
 */

#pragma once

#include <map>

#include <bind/renamer.hh>
#include <object/fwd.hh>

namespace object
{
  /// \brief Perform identifier renaming within an AST (in place),
  /// with support for objects.
  class Renamer : public bind::Renamer
  {
  public:
    using super_type = ::bind::Renamer;

    // Import overloaded virtual functions.
    using super_type::operator();

    /// Build a Renamer.
    Renamer();

    // Visit methods.
    /// \name Visiting definition sites.
    /// \{
    /// This method is like bind::Binder's, but prevent the renaming
    /// of attributes.
    void operator()(ast::VarDec& e) override;
    /// Rename methods.
    void operator()(ast::MethodChunk& e) override;
    /// Rename a method.
    void operator()(ast::MethodDec& e) override;
    /// In addition to performing the renaming, collect the name of
    /// the classes.
    void operator()(ast::TypeDec& e) override;
    /// \}

    /// \name Visiting usage sites.
    /// \{
    void operator()(ast::MethodCallExp& e) override;
    /// \}

    /// \name Visiting other object-related nodes.
    ///
    /// These methods should be part of an ObjectDefaultVisitor, but
    /// our current design makes the implementation (and the use) of
    /// such a visitor difficult.
    /// \{
    void operator()(ast::ClassTy& e) override;
    void operator()(ast::ObjectExp& e) override;
    /// \}

    /// \name Visiting LetExp.
    ///
    /// In order to handle variable declarations that might be
    /// situated in a ClassTy and yet do not qualify as attributes.
    /// \{
    void operator()(ast::LetExp& e) override;
    /// \}

    /// Class names.
    /// \{
    /// Get the class names.
    class_names_type* class_names_get() const;

  private:
    /// Dictionnary mapping class types to their names.
    class_names_type* class_names_;
    /// Are we in a class definition?
    bool within_class_ty_;
    /// \}
  };

} // namespace object