CBMC
read_bin_goto_object.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Read goto object files.
4 
5 Author: CM Wintersteiger
6 
7 Date: May 2007
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_PROGRAMS_READ_BIN_GOTO_OBJECT_H
15 #define CPROVER_GOTO_PROGRAMS_READ_BIN_GOTO_OBJECT_H
16 
17 #include <iosfwd>
18 #include <string>
19 
20 class symbol_table_baset;
21 class goto_functionst;
22 class message_handlert;
23 
24 bool read_bin_goto_object(
25  std::istream &in,
26  const std::string &filename,
27  symbol_table_baset &symbol_table,
28  goto_functionst &goto_functions,
29  message_handlert &message_handler);
30 
31 #endif // CPROVER_GOTO_PROGRAMS_READ_BIN_GOTO_OBJECT_H
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:25
message_handlert
Definition: message.h:27
symbol_table_baset
The symbol table base class interface.
Definition: symbol_table_base.h:23
read_bin_goto_object
bool read_bin_goto_object(std::istream &in, const std::string &filename, symbol_table_baset &symbol_table, goto_functionst &goto_functions, message_handlert &message_handler)
reads a goto binary file back into a symbol and a function table
Definition: read_bin_goto_object.cpp:212