CBMC
linking.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: ANSI-C Linking
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_LINKING_LINKING_H
13 #define CPROVER_LINKING_LINKING_H
14 
15 class message_handlert;
16 class symbol_table_baset;
17 
21 bool linking(
22  symbol_table_baset &dest_symbol_table,
23  const symbol_table_baset &new_symbol_table,
24  message_handlert &message_handler);
25 
26 #endif // CPROVER_LINKING_LINKING_H
message_handlert
Definition: message.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
linking
bool linking(symbol_table_baset &dest_symbol_table, const symbol_table_baset &new_symbol_table, message_handlert &message_handler)
Merges the symbol table new_symbol_table into dest_symbol_table, renaming symbols from new_symbol_tab...
Definition: linking.cpp:1130