tbaseConvergence.hpp

Go to the documentation of this file.

 
#pragma once
 
#include "core/ast/baseObj.hpp"
#include "core/ast/baseFunc.hpp"
#include "core/frame/frameInteract.hpp"
#include "core/worker/visitor/expander/convergence/baseConvergence.hpp"
 
namespace by {
 
    template <typename T> struct ConvergenceClosure {
        typedef std::function<nbool(const T&)> is;
    };
 
    template <> struct ConvergenceClosure<void> {
        typedef std::function<nbool()> is;
    };
 
    template <typename T> class tbaseConvergence: public baseConvergence {
        BY(ADT(tbaseConvergence, baseConvergence))
 
    protected:
        using onConverge = typename ConvergenceClosure<T>::is;
 
    public:
        tbaseConvergence(baseObj& obj, baseFunc& func, onConverge closure):
            _obj(obj), _func(func), _onConverge(closure) {}
 
    public:
        nbool converge() override {
            WHEN(!_obj) .ret(false);
            baseFunc& fun = _func OR.ret(false);
 
            frameInteract objScope(*_obj);
            frameInteract funScope(fun);
            return convergeWithoutFrame();
        }
 
        baseFunc& getFunc() { return *_func; }
 
        const baseFunc& getFunc() const BY_CONST_FUNC(getFunc());
 
        baseObj& getObj() { return *_obj; }
 
        const baseObj& getObj() const BY_CONST_FUNC(getObj());
 
    protected:
        onConverge _getClosure() { return _onConverge; }
 
    private:
        tstr<baseObj> _obj;
        tstr<baseFunc> _func;
        onConverge _onConverge;
    };
} // namespace by