replace_expr.cpp

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening, kroening@kroening.com
 
\*******************************************************************/
 
#include "replace_expr.h"
#include "expr_iterator.h"
 
bool replace_expr(const exprt &what, const exprt &by, exprt &dest)
{
  PRECONDITION_WITH_DIAGNOSTICS(
    what.type() == by.type(),
    "types to be replaced should match. old type:\n" + what.type().pretty() +
      "\nnew type:\n" + by.type().pretty());
 
  bool no_change = true;
 
  for(auto it = dest.depth_begin(), itend = dest.depth_end();
      it != itend;) // no ++it
  {
    if(*it == what)
    {
      it.mutate() = by;
      no_change = false;
      it.next_sibling_or_parent();
    }
    else
      ++it;
  }
 
  return no_change;
}
bool replace_expr(const exprt &what, const exprt &by, exprt &dest) {…}
 
bool replace_expr(const replace_mapt &what, exprt &dest)
{
  bool no_change = true;
 
  for(auto it = dest.depth_begin(), itend = dest.depth_end();
      it != itend;) // No ++it
  {
    replace_mapt::const_iterator findit = what.find(*it);
    if(findit != what.end())
    {
      PRECONDITION_WITH_DIAGNOSTICS(
        it->type() == findit->second.type(),
        "types to be replaced should match. old type:\n" + it->type().pretty() +
          "\nnew type:\n" + findit->second.type().pretty());
 
      it.mutate() = findit->second;
      no_change = false;
      it.next_sibling_or_parent();
    }
    else
      ++it;
  }
 
  return no_change;
}
bool replace_expr(const replace_mapt &what, exprt &dest) {…}