read_bin_goto_object.cpp File Reference

#include "read_bin_goto_object.h"
#include <util/message.h>
#include <util/symbol_table.h>
#include <util/irep_serialization.h>
#include "goto_functions.h"
#include "write_goto_binary.h"

Include dependency graph for read_bin_goto_object.cpp:

Go to the source code of this file.

Functions
static bool	read_bin_goto_object (std::istream &in, symbol_tablet &symbol_table, goto_functionst &functions, irep_serializationt &irepconverter)
	read goto binary format More...
bool	read_bin_goto_object (std::istream &in, const std::string &filename, symbol_tablet &symbol_table, goto_functionst &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.cpp.

Function Documentation

read_bin_goto_object() [1/2]

bool read_bin_goto_object	(	std::istream &	in,
		const std::string &	filename,
		symbol_tablet &	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 176 of file read_bin_goto_object.cpp.

read_bin_goto_object() [2/2]

static bool read_bin_goto_object ( std::istream &  in, symbol_tablet &  symbol_table, goto_functionst &  functions, irep_serializationt &  irepconverter  )

static

read goto binary format

parameters: input stream, symbol_table, functions

Returns

true on error, false otherwise

Definition at line 26 of file read_bin_goto_object.cpp.