cprover
read_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: June 2006
8 
9 \*******************************************************************/
10 
13 
14 #ifndef CPROVER_GOTO_CC_XML_BINARIES_READ_GOTO_OBJECT_H
15 #define CPROVER_GOTO_CC_XML_BINARIES_READ_GOTO_OBJECT_H
16 
17 #include <util/message.h>
18 #include <util/symbol_table.h>
20 
21 bool read_goto_object(
22  std::istream &in,
23  const std::string &filename,
24  symbol_tablet &symbol_table,
25  goto_functionst &functions,
26  message_handlert &msg_hndlr);
27 
28 #endif // CPROVER_GOTO_CC_XML_BINARIES_READ_GOTO_OBJECT_H
bool read_goto_object(std::istream &in, const std::string &filename, symbol_tablet &symbol_table, goto_functionst &functions, message_handlert &msg_hndlr)
reads a goto object xml file back into a symbol and a function table
Goto Programs with Functions.
The symbol table.
Definition: symbol_table.h:52
Symbol table.