CBMC
Loading...
Searching...
No Matches
read_bin_goto_object.h
Go to the documentation of this file.
1/*******************************************************************\
2
3Module: Read goto object files.
4
5Author: CM Wintersteiger
6
7Date: 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
20class symbol_table_baset;
21class goto_functionst;
22class message_handlert;
23
24bool 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