stelaVisitor.hpp

Go to the documentation of this file.

 
#pragma once
 
#include "stela/visitor/stelaVisitInfo.hpp"
#include <map>
 
namespace by {
 
#define X(T) class T;
#include "visitee.inl"
#undef X
    class valStela;
 
    class _nout stelaVisitor: public typeProvidable, public clonable {
        BY(CLASS(stelaVisitor))
 
    public:
        stelaVisitor();
        ~stelaVisitor() override;
 
    public:
        void work(stela& root);
 
#define X(T)                                               \
    virtual void visit(const stelaVisitInfo& i, T& it);    \
    virtual nbool onVisit(const stelaVisitInfo& i, T& it); \
    virtual void onLeave(const stelaVisitInfo& i, T& it);
#include "visitee.inl"
#undef X
 
        // valStela is abstract, so it is not a visitee: no node dispatches to it
        // directly. It still needs an overload because it is the `super` a concrete
        // value type chains up to -- without it verStela would skip straight to the
        // stela& base and a writer would lose its output.
        virtual nbool onVisit(const stelaVisitInfo& i, valStela& it);
        virtual void onLeave(const stelaVisitInfo& i, valStela& it);
 
        virtual void visit(const stelaVisitInfo& i, stela& it);
        virtual nbool onVisit(const stelaVisitInfo& i, stela& it);
        virtual void onLeave(const stelaVisitInfo& i, stela& it);
 
        // traverse:
        //  generalized-way:
        virtual void onTraverse(const stelaVisitInfo& i, stela& it);
 
    private:
        nbool _markVisited(stela& it);
 
    private:
        std::map<stela*, nbool> _visited;
    };
} // namespace by