val.h

#ifndef SESSTYPE__PARAMETERISED__EXPR__VAL_H__
#define SESSTYPE__PARAMETERISED__EXPR__VAL_H__

#include "sesstype/parameterised/expr.h"

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#ifdef __cplusplus

class ValExpr : public Expr {
    int num_;

  public:
    ValExpr(int num) : Expr(ST_EXPR_CONST), num_(num) { }

    ValExpr(const ValExpr &expr) : Expr(ST_EXPR_CONST), num_(expr.num_) { }

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

    int num() const
    {
        return num_;
    }

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

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