replace_calls.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: Replace calls
 
Author: Daniel Poetzl
 
\*******************************************************************/
 
 
#ifndef CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H
#define CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H
 
#include <util/irep.h>
 
#include <list>
#include <map>
 
class goto_functionst;
class goto_modelt;
class goto_programt;
class namespacet;
 
class replace_callst
{
public:
  typedef std::list<std::string> replacement_listt;
  typedef std::map<irep_idt, irep_idt> replacement_mapt;
 
  void operator()(
    goto_modelt &goto_model,
    const replacement_listt &replacement_list) const;
 
  void operator()(
    goto_modelt &goto_model,
    const replacement_mapt &replacement_map) const;
 
protected:
  void operator()(
    goto_programt &goto_program,
    const goto_functionst &goto_functions,
    const namespacet &ns,
    const replacement_mapt &replacement_map) const;
 
  replacement_mapt
  parse_replacement_list(const replacement_listt &replacement_list) const;
 
  void check_replacement_map(
    const replacement_mapt &replacement_map,
    const goto_functionst &goto_functions,
    const namespacet &ns) const;
};
 
#define OPT_REPLACE_CALLS "(replace-calls):"
 
#define HELP_REPLACE_CALLS                                                     \
  " {y--replace-calls} {uf}:{ug} \t replace calls to {uf} with calls to "      \
  "{ug}\n"
 
#endif // CPROVER_GOTO_PROGRAMS_REPLACE_CALLS_H