cprover
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 #include <util/message.h>
16 #include <util/symbol_table.h>
17 
18 // This merges the symbol table "new_symbol_table" into "dest_symbol_table",
19 // applying appropriate renamings to symbols in "new_symbol_table"
20 // when necessary.
21 
22 bool linking(
23  symbol_tablet &dest_symbol_table,
24  symbol_tablet &new_symbol_table,
25  message_handlert &message_handler);
26 
27 #endif // CPROVER_LINKING_LINKING_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:20
linking
bool linking(symbol_tablet &dest_symbol_table, symbol_tablet &new_symbol_table, message_handlert &message_handler)
Definition: linking.cpp:1441
message_handlert
Definition: message.h:28
symbol_table.h
Author: Diffblue Ltd.
message.h