rng.h

#ifndef SESSTYPE__PARAMETERISED__EXPR__RNG_H__
#define SESSTYPE__PARAMETERISED__EXPR__RNG_H__

#ifdef __cplusplus
#include <string>
#endif

#include "sesstype/parameterised/expr.h"

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

class RngExpr : public Expr {
    std::string bindvar_;
    Expr *from_;
    Expr *to_;

  public:
    RngExpr(Expr *from, Expr *to)
        : Expr(ST_EXPR_RNG),bindvar_(), from_(from), to_(to) { }

    RngExpr(std::string bindvar, Expr *from, Expr *to)
        : Expr(ST_EXPR_RNG), bindvar_(bindvar), from_(from), to_(to) { }

    RngExpr(const RngExpr &expr)
        : Expr(ST_EXPR_RNG),
          bindvar_(expr.bindvar_), from_(expr.from_->clone()), to_(expr.to_->clone()) { }

    ~RngExpr() override
    {
        delete from_;
        delete to_;
    }

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

    void set_bindvar(std::string bindvar)
    {
        bindvar_ = bindvar;
    }

    std::string bindvar() const
    {
        return bindvar_;
    }

    void set_from(Expr *from)
    {
        delete from_;
        from_ = from;
    }

    Expr *from() const
    {
        return from_;
    }

    void set_to(Expr *to)
    {
        delete to_;
        to_ = to;
    }

    Expr *to() const
    {
        return to_;
    }

    virtual void accept(util::ExprVisitor &v) override;
};
#endif // __cplusplus

#ifdef __cplusplus
extern "C" {
#endif

#ifdef __cplusplus
typedef RngExpr st_rng_expr; 
#else
typedef struct RngExpr st_rng_expr; 
#endif

st_expr *st_expr_mk_range(char *bindvar, st_expr *from, st_expr *to);

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

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

#endif//SESSTYPE__PARAMETERISED__EXPR__RNG_H__