translator.hh

Go to the documentation of this file.

#ifndef TRANSLATE_TRANSLATOR_HH
# define TRANSLATE_TRANSLATOR_HH

# include <list>
# include <map>
# include <stack>

# include <ast/default-visitor.hh>
# include <ast/non-object-visitor.hh>

# include <temp/fwd.hh>
# include <tree/fwd.hh>
# include <translate/fwd.hh>

namespace translate
{

  class Translator
    : public ast::DefaultConstVisitor
    , public ast::NonObjectConstVisitor
  {
  public:
    typedef ast::DefaultConstVisitor super_type;
    using super_type::operator();

    Translator();

    Translator(const Translator&) = delete;
    Translator& operator= (const Translator&) = delete;

    virtual ~Translator();

    virtual void operator()(const ast::Ast& e) override;

    tree::Fragments* fragments_get();

    rExp translate(const ast::Ast& node);

    template <typename T>
    std::list<rExp> translate(const std::list<T*>& es);

    virtual void operator()(const ast::SimpleVar& e) override;
    virtual void operator()(const ast::FieldVar& e) override;
    virtual void operator()(const ast::SubscriptVar& e) override;
    virtual void operator()(const ast::CastVar& e) override;


    // Literals.
    virtual void operator()(const ast::NilExp&) override;
    virtual void operator()(const ast::IntExp& e) override;
    // Literal string: insert its definition in fragments_, and return
    // an exp which refers to this fragment.
    virtual void operator()(const ast::StringExp& e) override;
    virtual void operator()(const ast::RecordExp& e) override;
    virtual void operator()(const ast::CallExp& e) override;
    virtual void operator()(const ast::OpExp& e) override;
    virtual void operator()(const ast::SeqExp& e) override;
    virtual void operator()(const ast::AssignExp& e) override;
    virtual void operator()(const ast::IfExp& e) override;
    virtual void operator()(const ast::WhileExp& e) override;

    // Translating a ForExp is an EPITA.  It would be more pleasant to
    // build a pseudo AST which maps a for-loop into a while-loop.
    virtual void operator()(const ast::ForExp& e) override;
    virtual void operator()(const ast::BreakExp&) override;
    virtual void operator()(const ast::LetExp& e) override;
    virtual void operator()(const ast::ArrayExp& e) override;
    virtual void operator()(const ast::CastExp& e) override;

    virtual void operator()(const ast::VarDecs& e) override;
    virtual void operator()(const ast::TypeDecs&) override;
    virtual void operator()(const ast::FunctionDecs& e) override;

    virtual void operator()(const ast::FunctionDec&) override;
    void visit_function_dec_header(const ast::FunctionDec& e);
    void visit_function_dec_body(const ast::FunctionDec& e);

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

  protected:
    rExp exp_;

    std::stack<std::list<rExp>> exps_;

    tree::Fragments* fragments_;

    Level* level_;

    std::map<const ast::Exp*, temp::Label> loop_end_label_;

    std::map<const ast::Ast*, const Access*> var_access_;

    std::map<const ast::Ast*, const Level*> fun_level_;

    std::map<const ast::Ast*, temp::Label> fun_label_;


  };

}

#endif // !TRANSLATE_TRANSLATOR_HH