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
linking
linking.h
Generated by
1.8.20