replace_callst Class Reference

#include <replace_calls.h>

Public Types
typedef std::list< std::string >	replacement_listt
typedef std::map< irep_idt, irep_idt >	replacement_mapt

Public Member Functions
void	operator() (goto_modelt &goto_model, const replacement_listt &replacement_list) const
	Replace function calls with calls to other functions. More...
void	operator() (goto_modelt &goto_model, const replacement_mapt &replacement_map) const
	Replace function calls with calls to other functions. More...

Protected Member Functions
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

Detailed Description

Definition at line 26 of file replace_calls.h.

Member Typedef Documentation

replacement_listt

typedef std::list<std::string> replace_callst::replacement_listt

Definition at line 29 of file replace_calls.h.

replacement_mapt

typedef std::map<irep_idt, irep_idt> replace_callst::replacement_mapt

Definition at line 30 of file replace_calls.h.

Member Function Documentation

check_replacement_map()

void replace_callst::check_replacement_map ( const replacement_mapt &  replacement_map, const goto_functionst &  goto_functions, const namespacet &  ns  ) const

protected

Definition at line 140 of file replace_calls.cpp.

operator()() [1/3]

void replace_callst::operator()	(	goto_modelt &	goto_model,
		const replacement_listt &	replacement_list
	)		const

Replace function calls with calls to other functions.

Parameters

goto_model	goto model to modify
replacement_list	list of strings, with each string f:g denoting a mapping between functions names; a mapping f -> g indicates that calls to f should be replaced by calls to g

Definition at line 29 of file replace_calls.cpp.

operator()() [2/3]

void replace_callst::operator()	(	goto_modelt &	goto_model,
		const replacement_mapt &	replacement_map
	)		const

Replace function calls with calls to other functions.

Parameters

goto_model	goto model to modify
replacement_map	mapping between function names; a mapping f -> g indicates that calls to f should be replaced by calls to g

Definition at line 41 of file replace_calls.cpp.

operator()() [3/3]

void replace_callst::operator() ( goto_programt &  goto_program, const goto_functionst &  goto_functions, const namespacet &  ns, const replacement_mapt &  replacement_map  ) const

protected

Definition at line 59 of file replace_calls.cpp.

parse_replacement_list()

replace_callst::replacement_mapt replace_callst::parse_replacement_list ( const replacement_listt &  replacement_list ) const

protected

Definition at line 115 of file replace_calls.cpp.

---

The documentation for this class was generated from the following files:

• /home/runner/work/cbmc/cbmc/src/goto-instrument/replace_calls.h
• /home/runner/work/cbmc/cbmc/src/goto-instrument/replace_calls.cpp