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
>
19
#include <
goto-programs/goto_functions.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
read_goto_object
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
Definition:
read_goto_object.cpp:32
goto_functions.h
Goto Programs with Functions.
message.h
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
message_handlert
Definition:
message.h:20
goto_functionst
Definition:
goto_functions.h:20
symbol_table.h
Symbol table.
goto-cc
xml_binaries
read_goto_object.h
Generated by
1.8.12