if.h

#ifndef SESSTYPE__PARAMETERISED__NODE__IF_H__
#define SESSTYPE__PARAMETERISED__NODE__IF_H__

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

#include "sesstype/parameterised/msg.h"
#include "sesstype/parameterised/cond.h"
#include "sesstype/parameterised/role.h"
#include "sesstype/parameterised/node.h"


#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

template <class BaseNode, class RoleType, class MessageType, class VisitorType>
class IfNodeTmpl : public BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType> {
    MsgCond *cond_;

  public:
    IfNodeTmpl(MsgCond *cond)
        : BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType>(ST_NODE_IF),
          cond_(cond) { }

    IfNodeTmpl(const IfNodeTmpl &node)
        : BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType>(node),
          cond_(node.cond_) { }

    ~IfNodeTmpl() override
    {
        delete cond_;
    }

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

    BaseNode *body() const
    {
        return BlockNodeTmpl<BaseNode, RoleType, MessageType, VisitorType>::child(0);
    }

    void set_body(BaseNode *body)
    {
        this->set_child(0, body);
    }

    MsgCond *cond() const
    {
        return cond_;
    }

    void set_cond(MsgCond *cond)
    {
        cond_ = cond;
    }

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

using IfNode = IfNodeTmpl<Node, Role, MsgSig, util::NodeVisitor>;
#endif // __cplusplus

#ifdef __cplusplus
extern "C" {
#endif

st_node *st_mk_if_node(st_cond *cond);

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

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

#endif//SESSTYPE__PARAMETERISED__NODE__IF_H__