json_to_ila_deserializer.h

Go to the documentation of this file.

#ifndef ILANG_TARGET_JSON_J2I_DES_H__
#define ILANG_TARGET_JSON_J2I_DES_H__

#include <memory>
#include <unordered_map>

#include <nlohmann/json.hpp>

#include <ilang/ila/instr_lvl_abs.h>

using json = nlohmann::json;

namespace ilang {

class J2IDes {
public:
  typedef std::shared_ptr<J2IDes> J2IDesPtr;

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

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

  // ------------------------- METHODS -------------------------------------- //
  InstrLvlAbsPtr DesInstrLvlAbs(const json& j_global);

private:
  // ------------------------- MEMBERS -------------------------------------- //
  std::unordered_map<size_t, ExprPtr> id_expr_map_;
  std::unordered_map<size_t, FuncPtr> id_func_map_;
  std::unordered_map<std::string, const InstrLvlAbsPtr> ila_name_ptr_map_;

  // ------------------------- METHODS -------------------------------------- //
  SortPtr DesSort(const json& j_sort);

  FuncPtr DesFunc(const json& j_func);

  ExprPtr DesExpr(const json& j_expr);
  ExprPtr DesExprState(const json& j_sort, const std::string& name,
                       const InstrLvlAbsPtr& i_host) const;
  ExprPtr DesExprInput(const json& j_sort, const std::string& name,
                       const InstrLvlAbsPtr& i_host) const;
  ExprPtr DesExprConst(const json& j_sort, const json& j_val) const;
  ExprPtr DesExprOp(const unsigned& ast_expr_op_uid, const json& j_arg_arr,
                    const json& j_param_arr) const;
  ExprPtr DesExprOpAppFunc(const json& j_func_id, const json& j_arg_arr) const;

  void DesVarUnit(const json& j_ila, const json& j_ast_list,
                  const InstrLvlAbsPtr& i_parent);
  void DesVarHier(const json& j_ila, const json& j_ast_list,
                  const InstrLvlAbsPtr& i_parent);

  InstrPtr DesInstr(const json& j_instr, const InstrLvlAbsPtr& i_host) const;

  void DesIlaUnit(const json& j_ila);
  void DesIlaHier(const json& j_ila);

}; // class J2IDes

typedef J2IDes::J2IDesPtr J2IDesPtr;

} // namespace ilang

#endif // ILANG_TARGET_JSON_J2I_DES_H__