abst_ext.hpp

Go to the documentation of this file.

/**********************************************************************           
    * abst_ext.hpp -- Absent-extended values data-type                *
    *                                                                 *
    * Author:  Hosein Attarzadeh (shan2@kth.se)                       *
    *                                                                 *
    * Purpose: Extend normal values with their absent-extended        *
    *          version, required by some MoCs (e.g., synhronous)      *
    *                                                                 *
    * Usage:   This file is included automatically                    *
    *                                                                 *
    * License: BSD3                                                   *
    *******************************************************************/

#ifndef ABST_EXT_HPP
#define ABST_EXT_HPP

namespace ForSyDe
{

using namespace sc_core;


template <typename T>
class abst_ext
{
public:
    abst_ext(const T& val) : present(true), value(val) {}
    
    abst_ext() : present(false) {}
    
    T from_abst_ext (const T& defval) const
    {
        if (present) return value; else return defval;
    }
    
    inline friend T from_abst_ext (const abst_ext& absval, const T& defval)
    {
        if (absval.present) return absval.value; else return defval;
    }
    
    T unsafe_from_abst_ext () const {return value;}
    
    inline friend T unsafe_from_abst_ext(const abst_ext& absval)
    {
        return absval.value;
    }
    
    void set_abst() {present=false;}
    
    inline friend void set_abst(abst_ext& absval) {absval.present=false;}
    
    void set_val(const T& val) {present=true;value=val;}
    
    inline friend void set_val(abst_ext& absval, const T& val)
    {
        absval.present=true;
        absval.value=val;
    }
    
    bool is_absent() const {return !present;}
    
    inline friend bool is_absent(const abst_ext& absval) {return !absval.present;}
    
    bool is_present() const {return present;}
    
    inline friend bool is_present(const abst_ext& absval) {return absval.present;}
    
    bool operator== (const abst_ext& rs) const
    {
        if (is_absent() || rs.is_absent())
            return is_absent() && rs.is_absent();
        else
            return unsafe_from_abst_ext() == rs.unsafe_from_abst_ext();
    }
    
    friend std::ostream& operator<< (std::ostream& os, const abst_ext &abst_ext)
    {
        if (abst_ext.is_present())
            os << abst_ext.unsafe_from_abst_ext();
        else
            os << "_";
        return os;
    }
private:
    bool present;
    T value;
};


#define CHECK_PRESENCE(VAL) \
    if (is_absent(VAL)) SC_REPORT_ERROR(this->name(),"Unexpected absent value received in");

}
#endif