desugar-visitor.hh

Go to the documentation of this file.

#ifndef OBJECT_DESUGAR_VISITOR_HH
# define OBJECT_DESUGAR_VISITOR_HH

# include <astclone/cloner.hh>
# include <parse/tweast.hh>
# include <object/libobject.hh>

namespace object
{
  class DesugarVisitor : public astclone::Cloner
  {
  public:
    typedef astclone::Cloner super_type;

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

    DesugarVisitor(const class_names_type& class_names);

    virtual ~DesugarVisitor();

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


    virtual void operator()(const ast::TypeDecs& e) override;
    virtual void operator()(const ast::FunctionDec& e) override;
    virtual void operator()(const ast::NameTy& e) override;



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



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


    virtual ast::exps_type* recurse_args(const ast::exps_type& actuals,
                                         const type::Record& formals);

    typedef std::list<const type::Class*> classes_type;

  private:

    std::string type_symbol(const type::Type* type);

    std::string upcast_fun_name(const type::Class* from,
                                const type::Class* to);
    std::string downcast_fun_name(const type::Class* from,
                                  const type::Class* to);

    std::string dispatch_fun_name(const type::Class* owner,
                                  const type::Method* method);

    void adapt_type(ast::Exp*& source_exp, const type::Class* source_type,
                    const type::Class* target_type);

    typedef misc::map<const type::Class*, std::string> field_inits_type;

    ast::Exp* variant_exp(const type::Class* static_type,
                          const std::string& exact_type,
                          const field_inits_type& inits);

    ast::Exp* variant_exp(const type::Class* static_type,
                          const type::Class* dynamic_type,
                          const field_inits_type& inits);

    parse::Tweast* variant_ty(const type::Class* class_type);

    parse::Tweast* cast_function(const std::string& name,
                                 const type::Class* source,
                                 const type::Class* target,
                                 const type::Class* exact_type);

    parse::Tweast* upcast_function(const type::Class* source,
                                   const type::Class* target);

    parse::Tweast* downcast_function(const type::Class* source,
                                     const type::Class* target);

    ast::Exp* dispatch_switch(const type::Class* class_type,
                              const type::Method* method);

    parse::Tweast* method_call(const misc::symbol& class_name,
                               const misc::symbol& method_name,
                               const std::string& target,
                               const ast::VarDecs::Ds& formals);


  private:
    class_names_type class_names_;

    parse::Tweast types_;
    parse::Tweast class_ids_;
  };

} // namespace object

#endif // !OBJECT_DESUGAR_VISITOR_HH