const.h

Go to the documentation of this file.

#ifndef SESSTYPE__PARAMETERISED__CONST_H__
#define SESSTYPE__PARAMETERISED__CONST_H__

#ifdef __cplusplus
#include <string>
#endif

#ifdef __cplusplus
namespace sesstype {
namespace parameterised {
#endif

#define ST_CONST_VALUE    1
#define ST_CONST_RANGE    2
#define ST_CONST_SCALABLE 3

#ifdef __cplusplus

class Constant {
    std::string name_;
    int type_;

  public:
    virtual ~Constant() { }

    std::string name() const
    {
        return name_;
    }

    int type() const
    {
        return type_;
    }

  protected:
    Constant(std::string name, int type) : name_(name), type_(type) { }
};

class ValueConstant : public Constant {
    unsigned int value_;

  public:
    ValueConstant(std::string name, unsigned int value)
        : Constant(name, ST_CONST_VALUE), value_(value) { }

    ~ValueConstant() override { }

    unsigned int value() const
    {
        return value_;
    }
};

class BoundedConstant : public Constant {
    unsigned int lbound_;
    unsigned int ubound_;

  public:
    BoundedConstant(std::string name, unsigned int lbound, unsigned int ubound)
        : Constant(name, ST_CONST_RANGE), lbound_(lbound), ubound_(ubound) { }

    ~BoundedConstant() override { }

    unsigned int lbound() const
    {
        return lbound_;
    }

    unsigned int ubound() const
    {
        return ubound_;
    }
};

class ScalableConstant : public Constant {
    unsigned int lbound_;

  public:
    ScalableConstant(std::string name, unsigned int lbound)
        : Constant(name, ST_CONST_SCALABLE), lbound_(lbound) { }

    ~ScalableConstant() override { }

    unsigned int lbound() const
    {
        return lbound_;
    }
};
#endif

#ifdef __cplusplus
extern "C" {
#endif

#ifdef __cplusplus
typedef Constant st_const;
#else
typedef struct Constant st_const;
#endif

st_const *st_mk_val_const(const char *name, int value);

st_const *st_mk_rng_const(const char *name, int lbound, int ubound);

st_const *st_mk_inf_const(const char *name, int lbound);

int st_const_get_type(st_const *const con);

void st_free_const(st_const *con);

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

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

#endif // SESSTYPE__PARAMETERISED__CONST_H__