role.h

Go to the documentation of this file.

#ifndef SESSTYPE__PARAMETERISED__ROLE_H__
#define SESSTYPE__PARAMETERISED__ROLE_H__

#include "sesstype/role.h"

#include "sesstype/parameterised/expr.h"
#include "sesstype/parameterised/expr/rng.h"

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
namespace util {
class RoleVisitor;
} // namespace util
} // namespace sesstype
} // namespace sesstype
#endif

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

class Role : public sesstype::Role {
    std::vector<Expr *> param_;

  public:
    Role() : sesstype::Role(), param_() { }

    Role(std::string name) : sesstype::Role(name), param_() { }

    Role(const Role &role) : sesstype::Role(role), param_()
    {
        for (auto param : role.param_) {
            param_.push_back(param->clone());
        }
    }

    ~Role() override
    {
        for (auto param : param_) {
            delete param;
        }
    }

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

    unsigned int num_dimens() const
    {
        return param_.size();
    }

    void add_param(Expr *param)
    {
        param_.push_back(param);
    }

    Expr *operator[](std::size_t idx) const
    {
        return param_.at(idx);
    }

    virtual bool matches(sesstype::Role *other) const
    {
        bool matching = true;
        if (auto other_param = dynamic_cast<Role *>(other)) {
            // 0. Check if current role is endpoint role (both dimen=0)
            // 1. Check if current role is a member of endpoint role (both dimen>0)
            //    current role is NOT multi and endpoint role is multi
            // 2. Check if current role is subset of endpoint role (both dimen>0)
            //    Note: endpoint role is always the full set (multi)
            //    So if name matches this is always a subset (multi)
            matching &= (name() == other_param->name()); // Name matches
            matching &= (num_dimens() == other_param->num_dimens()); // Dimen
            return matching;
        }
        return false;
    }

    virtual void accept(util::RoleVisitor &v);

    friend std::ostream &operator<<(std::ostream &os, Role &role);

  private:
    virtual void accept(sesstype::util::RoleVisitor &v) override { /* hidden */ }
};
#endif // __cplusplus

#ifdef __cplusplus
extern "C" {
#endif

#ifdef __cplusplus
typedef Role st_param_role;
#else
typedef struct Role st_param_role;
#endif

unsigned int st_role_num_dimen(st_param_role *const role);

st_expr *st_role_get_param(st_param_role *const role, unsigned int idx);

st_param_role *st_role_add_param(st_param_role *const role, st_expr *param);

void st_param_role_free(st_param_role *role);

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

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

#endif//SESSTYPE__PARAMETERISED__ROLE_H__