for.h

#ifndef SESSTYPE__PARAMETERIED__NODE__FOR__H__
#define SESSTYPE__PARAMETERIED__NODE__FOR__H__

#ifdef __cplusplus
#include <iostream>
#endif

#include "sesstype/node/block.h"
#include "sesstype/util/visitor_tmpl.h"

#include "sesstype/parameterised/msg.h"
#include "sesstype/parameterised/role.h"
#include "sesstype/parameterised/node.h"
#include "sesstype/parameterised/expr/rng.h"

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

template <class BaseNode, class RoleType, class MessageType, class VisitorType>
class ForNodeTmpl : public BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType> {
    RngExpr *bindexpr_;
    Expr *except_;

  public:
    ForNodeTmpl(RngExpr *bindexpr)
        : BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType>(ST_NODE_FOR),
          bindexpr_(bindexpr), except_(0) { }

    ForNodeTmpl(const ForNodeTmpl &node)
        : BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType>(ST_NODE_FOR),
          bindexpr_(node.bindexpr_), except_(node.except_) { }

    ~ForNodeTmpl() override
    {
        delete bindexpr_;
        delete except_;
    }

    ForNodeTmpl *clone() const override
    {
        return new ForNodeTmpl(*this);
    }

    void set_bindexpr(RngExpr *bindexpr)
    {
        delete bindexpr_;
        bindexpr_ = bindexpr;
    }

    RngExpr *bindexpr() const
    {
        if (bindexpr_ == nullptr) {
            std::cerr << "Warning: bind_expr is NULL.\n";
        }
        return bindexpr_;
    }

    void set_except(Expr *except)
    {
        delete except_;
        except_ = except;
    }

    Expr *except() const
    {
        return except_;
    }

    virtual void accept(VisitorType &v) override;
};

using ForNode = ForNodeTmpl<Node, Role, MsgSig, util::NodeVisitor>;
#endif

#ifdef __cplusplus
extern "C" {
#endif

st_node *st_mk_for_node(st_rng_expr *bindexpr);

st_rng_expr *st_for_node_get_bindexpr(st_node *const node);

st_node *st_for_node_set_bindexpr(st_node *const node, st_rng_expr *bindexpr);

#ifdef __cplusplus
} // extern "C"
#endif

#ifdef __cplusplus
} // namespace parameterised
} // namespace sesstype
#endif

#endif//SESSTYPE__PARAMETERIED__NODE__FOR__H__