CBMC
remove_internal_symbols.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Remove symbols that are internal only
4 
5 Author: Daniel Kroening
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
13 #define CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
14 
15 #include <util/irep.h>
16 
17 #include <set>
18 
19 class message_handlert;
20 
21 void remove_internal_symbols(
22  class symbol_table_baset &symbol_table,
23  message_handlert &,
24  const bool);
25 
26 void remove_internal_symbols(
27  class symbol_table_baset &symbol_table,
28  message_handlert &,
29  const bool keep_file_local,
30  const std::set<irep_idt> &keep);
31 
32 #endif // CPROVER_LINKING_REMOVE_INTERNAL_SYMBOLS_H
message_handlert
Definition: message.h:28
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
remove_internal_symbols
void remove_internal_symbols(class symbol_table_baset &symbol_table, message_handlert &, const bool)
Removes internal symbols from a symbol table A symbol is EXPORTED if it is a.
Definition: remove_internal_symbols.cpp:102