default-visitor.hh

Go to the documentation of this file.

#ifndef AST_DEFAULT_VISITOR_HH
# define AST_DEFAULT_VISITOR_HH

# include <ast/visitor.hh>

namespace ast
{
  template <template <typename> class Const>
  class GenDefaultVisitor : public virtual GenVisitor<Const>
  {
  public:
    typedef GenVisitor<Const> super_type;

    // Import overloaded \c operator() methods.
    using super_type::operator();


    GenDefaultVisitor();
    virtual ~GenDefaultVisitor();
    /* We cannot simply use `using super_type::operator()' here,
       otherwise the linker would complain about missing symbols for
       these methods:

         GenVisitor<id_traits>::operator() (ast::MethodDec&)
         GenVisitor<id_traits>::operator() (ast::MethodCallExp&)

       This behavior seems to come from the mix between diamond
       inheritance and templates.  We redefine the following operator
       (delegating to GenVisitor's operator()) as a workaround.  */
    virtual void operator()(typename Const<Ast>::type& e);

    virtual void operator()(typename Const<SimpleVar>::type& e) override;
    virtual void operator()(typename Const<FieldVar>::type& e) override;
    virtual void operator()(typename Const<SubscriptVar>::type& e) override;
    virtual void operator()(typename Const<CastVar>::type& e) override;
    virtual void operator()(typename Const<NilExp>::type& e) override;
    virtual void operator()(typename Const<IntExp>::type& e) override;
    virtual void operator()(typename Const<StringExp>::type& e) override;
    virtual void operator()(typename Const<CallExp>::type& e) override;
    virtual void operator()(typename Const<OpExp>::type& e) override;
    virtual void operator()(typename Const<RecordExp>::type& e) override;
    virtual void operator()(typename Const<SeqExp>::type& e) override;
    virtual void operator()(typename Const<AssignExp>::type& e) override;
    virtual void operator()(typename Const<IfExp>::type& e) override;
    virtual void operator()(typename Const<WhileExp>::type& e) override;
    virtual void operator()(typename Const<ForExp>::type& e) override;
    virtual void operator()(typename Const<BreakExp>::type&) override;
    virtual void operator()(typename Const<LetExp>::type& e) override;
    virtual void operator()(typename Const<ArrayExp>::type& e) override;
    virtual void operator()(typename Const<CastExp>::type& e) override;
    virtual void operator()(typename Const<FieldInit>::type& e) override;

    virtual void operator()(typename Const<DecsList>::type& e) override;

    virtual void operator()(typename Const<Decs>::type& e);

    template <typename DecsType>
    void decs_visit(typename Const<DecsType>::type& e);

    virtual void operator()(typename Const<VarDecs>::type& e) override;
    virtual void operator()(typename Const<VarDec>::type& e) override;

    virtual void operator()(typename Const<FunctionDecs>::type& e) override;
    virtual void operator()(typename Const<FunctionDec>::type& e) override;

    virtual void operator()(typename Const<TypeDecs>::type& e) override;
    virtual void operator()(typename Const<TypeDec>::type& e) override;

    virtual void operator()(typename Const<NameTy>::type& e) override;
    virtual void operator()(typename Const<RecordTy>::type& e) override;
    virtual void operator()(typename Const<ArrayTy>::type& e) override;
    virtual void operator()(typename Const<Field>::type& e) override;
  };

  typedef GenDefaultVisitor<misc::constify_traits> DefaultConstVisitor;
#ifdef SWIG
  %template() GenVisitor<misc::id_traits>;
  %template() GenDefaultVisitor<misc::id_traits>;
#endif
  typedef GenDefaultVisitor<misc::id_traits> DefaultVisitor;

} // namespace ast

# include <ast/default-visitor.hxx>

#endif // !AST_DEFAULT_VISITOR_HH