replace_calls.h File Reference

Replace calls to given functions with calls to other given functions. More...

#include "goto_model.h"

Include dependency graph for replace_calls.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Classes
class	replace_callst

Macros
#define	OPT_REPLACE_CALLS   "(replace-calls):"
#define	HELP_REPLACE_CALLS   " --replace-calls f:g replace calls to f with calls to g\n"

Detailed Description

Replace calls to given functions with calls to other given functions.

Definition in file replace_calls.h.

Macro Definition Documentation

HELP_REPLACE_CALLS

#define HELP_REPLACE_CALLS   " --replace-calls f:g replace calls to f with calls to g\n"

Definition at line 50 of file replace_calls.h.

Referenced by goto_instrument_parse_optionst::help().

OPT_REPLACE_CALLS

#define OPT_REPLACE_CALLS   "(replace-calls):"

Definition at line 48 of file replace_calls.h.