cprover
remove_function.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove function definition
4 
5 Author: Michael Tautschnig
6 
7 Date: April 2017
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H
15 #define CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H
16 
17 #include <list>
18 #include <string>
19 
20 #include <util/irep.h>
21 
22 class goto_functionst;
23 class message_handlert;
24 class symbol_tablet;
25 
26 void remove_function(
27  symbol_tablet &symbol_table,
28  goto_functionst &goto_functions,
29  const irep_idt &identifier,
30  message_handlert &message_handler);
31 
32 void remove_functions(
33  symbol_tablet &symbol_table,
34  goto_functionst &goto_functions,
35  const std::list<std::string> &names,
36  message_handlert &message_handler);
37 
38 #endif // CPROVER_GOTO_INSTRUMENT_REMOVE_FUNCTION_H
The symbol table.
Definition: symbol_table.h:52
void remove_functions(symbol_tablet &symbol_table, goto_functionst &goto_functions, const std::list< std::string > &names, message_handlert &message_handler)
Remove the body of all functions listed in "names" such that an analysis will treat it as a side-effe...
void remove_function(symbol_tablet &symbol_table, goto_functionst &goto_functions, const irep_idt &identifier, message_handlert &message_handler)
Remove the body of function "identifier" such that an analysis will treat it as a side-effect free fu...