binder.hh

Go to the documentation of this file.

#ifndef BIND_BINDER_HH
# define BIND_BINDER_HH

# include <misc/error.hh>
# include <misc/scoped-map.hh>
# include <misc/fwd.hh>
# include <ast/default-visitor.hh>
# include <ast/object-visitor.hh>

namespace bind
{

  class Binder : public ast::DefaultVisitor, public ast::ObjectVisitor
  {
  public:
    typedef ast::DefaultVisitor super_type;
    using super_type::operator();

  public:
    const misc::error& error_get() const;

    /* The visiting methods. */
  public:
    virtual void operator()(ast::LetExp& e) override;
  // FIXME: Some code was deleted here.

    // ---------------- //
    // Visiting /Dec/.  //
    // ---------------- //





    template <class D>
    void decs_visit(ast::AnyDecs<D>& e);

    template <class D>
    void visit_dec_header(D& e);

    template <class D>
    void visit_dec_body(D& e);

  // FIXME: Some code was deleted here.

  protected:
    void error(const ast::Ast& loc, const std::string& msg);

    template <typename T>
    void undeclared(const std::string& k, const T& e);

    template <typename T>
    void redefinition(const T& e1, const T& e2);

  protected:
    virtual void scope_begin();
    virtual void scope_end();
  protected:
    template <typename NodeType, typename DefType>
    void def_default(NodeType& e, DefType* def);

  // FIXME: Some code was deleted here (Members).
  };
}

# include <bind/binder.hxx>

#endif // !BIND_BINDER_HH