type-checker.hh

Go to the documentation of this file.

#ifndef OBJECT_TYPE_CHECKER_HH
# define OBJECT_TYPE_CHECKER_HH

# include <type/class.hh>
# include <type/types.hh>
# include <type/type-checker.hh>

namespace object
{

  class TypeChecker : public type::TypeChecker
  {
  public:
    typedef type::TypeChecker super_type;
    using super_type::operator();

  public:
    TypeChecker();

  protected:

    // ------------------------- //
    // The core of the visitor.  //
    // ------------------------- //

    // ---------------- //
    // Visiting /Var/.  //
    // ---------------- //

    virtual void operator()(ast::FieldVar& e);
    virtual void operator()(ast::SimpleVar& e);

    // --------------- //
    // Visiting /Ty/.  //
    // --------------- //

    virtual void operator()(ast::NameTy& e);

    // ---------------- //
    // Visiting /Exp/.  //
    // ---------------- //

    // Method exp.
    virtual void operator()(ast::ObjectExp& e);
    virtual void operator()(ast::MethodCallExp& e);


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

    virtual void operator()(ast::TypeDecs& e);

    // Check a Method's declaration header.
    void visit_dec_header(ast::MethodDec& e);
    // Check a Method's declaration body.
    void visit_dec_body(ast::MethodDec& e);

    virtual void operator()(ast::MethodDecs& e);

    virtual void operator()(ast::VarDec& e);


    // --------------- //
    // Visiting /Ty/.  //
    // --------------- //

    // Visit a class definition \em without its members.
    virtual void operator()(ast::ClassTy& e);
    // Visit the members of a class.
    virtual void visit_dec_members(ast::ClassTy& e);


  private:
    type::Class* current_;
    bool within_methoddec_body_p_;
  };

} // namespace type

#endif // !OBJECT_TYPE_CHECKER_HH