ila_to_json_serializer.h

Go to the documentation of this file.

#ifndef ILANG_TARGET_JSON_I2J_SER_H__
#define ILANG_TARGET_JSON_I2J_SER_H__

#include <memory>
#include <unordered_map>

#include <nlohmann/json.hpp>

#include <ilang/ila/instr_lvl_abs.h>

using json = nlohmann::json;

namespace ilang {

class I2JSer {
public:
  typedef std::shared_ptr<I2JSer> I2JSerPtr;

  // ------------------------- CONSTRUCTOR/DESTRUCTOR ----------------------- //
  I2JSer();
  ~I2JSer();

  // ------------------------- HELPERS -------------------------------------- //
  static I2JSerPtr New();

  // ------------------------- METHODS -------------------------------------- //
  json SerInstrLvlAbs(const InstrLvlAbsPtr& i_ila);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  std::unordered_map<size_t, size_t> id_idx_map_;
  std::unordered_map<size_t, size_t> func_id_idx_map_;
  json j_expr_arr_;
  json j_func_arr_;

  // ------------------------- METHODS -------------------------------------- //
  json SerSort(const SortPtr& i_sort) const;
  json SerFunc(const FuncPtr& i_func);
  json SerExpr(const ExprPtr& i_expr);
  json SerConstVal(const ExprPtr& i_expr) const;
  json SerExprUnit(const ExprPtr& i_expr);
  json SerInstr(const InstrPtr& i_instr);
  json SerInstrLvlAbsNoAst(const InstrLvlAbsPtr& i_ila);

}; // class I2JSer

typedef I2JSer::I2JSerPtr I2JSerPtr;

} // namespace ilang

#endif // ILANG_TARGET_JSON_I2J_SER_H__