read_bin_goto_object.h File Reference

Read goto object files. More...

#include <iosfwd>
#include <string>

Include dependency graph for read_bin_goto_object.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
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 More...

Detailed Description

Read goto object files.

Definition in file read_bin_goto_object.h.

Function Documentation

read_bin_goto_object()

bool read_bin_goto_object	(	std::istream &	in,
		const std::string &	filename,
		symbol_table_baset &	symbol_table,
		goto_functionst &	functions,
		message_handlert &	message_handler
	)

reads a goto binary file back into a symbol and a function table

parameters: input stream, symbol table, functions

Returns

true on error, false otherwise

Definition at line 212 of file read_bin_goto_object.cpp.