replace_symbol.h

Go to the documentation of this file.

#ifndef CPROVER_REPLACE_SYMBOL_H
#define CPROVER_REPLACE_SYMBOL_H
 
//
// true: did nothing
// false: replaced something
//
 
#include <util/irep/expr.h>
 
class replace_symbolt
{
public:
  typedef std::unordered_map<irep_idt, exprt, irep_id_hash> expr_mapt;
  typedef std::unordered_map<irep_idt, typet, irep_id_hash> type_mapt;
 
  void insert(const irep_idt &identifier, const exprt &expr)
  {
    expr_map.insert(std::pair<irep_idt, exprt>(identifier, expr));
  }
 
  void insert(const irep_idt &identifier, const typet &type)
  {
    type_map.insert(std::pair<irep_idt, typet>(identifier, type));
  }
 
  virtual bool replace(exprt &dest);
  virtual bool replace(typet &dest);
 
  replace_symbolt() = default;
  virtual ~replace_symbolt() = default;
 
protected:
  expr_mapt expr_map;
  type_mapt type_map;
};
 
#endif