sort_value.h

Go to the documentation of this file.

#ifndef ILANG_ILA_AST_SORT_VALUE_H__
#define ILANG_ILA_AST_SORT_VALUE_H__

#include <cstdint>
#include <map>
#include <memory>
#include <ostream>
#include <string>

namespace ilang {

class Value {
public:
  virtual ~Value() {}
  typedef std::shared_ptr<Value> ValPtr;

}; // class Value

typedef Value::ValPtr ValPtr;

class BoolVal : public Value {
public:
  typedef std::shared_ptr<BoolVal> BoolValPtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  BoolVal(const bool& val);
  BoolVal(const std::string& str);
  BoolVal(const char* cstr);
  ~BoolVal();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  std::string str() const;
  const bool& val() const;

  // ------------------------- METHODS -------------------------------------- //
  std::ostream& Print(std::ostream& out) const;
  friend std::ostream& operator<<(std::ostream& out, const BoolVal& val);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  bool val_;

}; // class BoolVal

typedef BoolVal::BoolValPtr BoolValPtr;

class BvVal : public Value {
public:
  typedef uint64_t BvValType;
  typedef std::shared_ptr<BvVal> BvValPtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  BvVal(const BvValType& val);
  BvVal(const std::string& str);
  ~BvVal();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  std::string str() const;
  const BvValType& val() const;

  // ------------------------- METHODS -------------------------------------- //
  std::ostream& Print(std::ostream& out) const;
  friend std::ostream& operator<<(std::ostream& out, const BvVal& val);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  BvValType val_;

}; // class BvVal

typedef BvVal::BvValType BvValType;
typedef BvVal::BvValPtr BvValPtr;

#define BvValTypeBitWidth (8 * sizeof(BvValType))

class MemVal : public Value {
public:
  typedef std::shared_ptr<MemVal> MemValPtr;
  typedef std::map<BvValType, BvValType> MemValMap;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  MemVal(const BvValType& def_val);
  MemVal(const BvValType& def_val, const MemValMap& vals);
  ~MemVal();

  // ------------------------- ACCESSORS/MUTATORS --------------------------- //
  const MemValMap& val_map() const;
  const BvValType& def_val() const;

  const BvValType& get_data(const BvValType& addr) const;
  void set_data(const BvValType& addr, const BvValType& data);

  // ------------------------- METHODS ---------------------------------------//
  std::ostream& Print(std::ostream& out) const;
  friend std::ostream& operator<<(std::ostream& out, const MemVal& val);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  MemValMap val_map_;
  BvValType default_;

}; // class MemVal

typedef MemVal::MemValPtr MemValPtr;
typedef MemVal::MemValMap MemValMap;

} // namespace ilang

#endif // ILANG_ILA_AST_SORT_VALUE_H__