read_bin_goto_object.cpp File Reference

Read goto object files. More...

#include "read_bin_goto_object.h"
#include <util/irep_serialization.h>
#include <util/message.h>
#include <util/symbol_table_base.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 void	read_bin_symbol_table_object (std::istream &in, symbol_table_baset &symbol_table, irep_serializationt &irepconverter)
static void	copy_parameter_identifiers (const symbol_table_baset &symbol_table, goto_functionst &functions)
	The serialised form of the goto-model currently includes the parameter identifiers in the symbol table attached to the types of function symbols. More...
static void	read_bin_functions_object (std::istream &in, goto_functionst &functions, irep_serializationt &irepconverter)
static void	read_bin_goto_object (std::istream &in, symbol_table_baset &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_table_baset &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

copy_parameter_identifiers()

static void copy_parameter_identifiers ( const symbol_table_baset &  symbol_table, goto_functionst &  functions  )

static

The serialised form of the goto-model currently includes the parameter identifiers in the symbol table attached to the types of function symbols.

However it is not included in the goto functions. Therefore this function is needed to copy the parameter identifiers from the symbol table to the functions.

Definition at line 77 of file read_bin_goto_object.cpp.

read_bin_functions_object()

static void read_bin_functions_object ( std::istream &  in, goto_functionst &  functions, irep_serializationt &  irepconverter  )

static

Definition at line 98 of file read_bin_goto_object.cpp.

read_bin_goto_object() [1/2]

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.

read_bin_goto_object() [2/2]

static void read_bin_goto_object ( std::istream &  in, symbol_table_baset &  symbol_table, goto_functionst &  functions, irep_serializationt &  irepconverter  )

static

read goto binary format

parameters: input stream, symbol_table, functions

Definition at line 198 of file read_bin_goto_object.cpp.

read_bin_symbol_table_object()

static void read_bin_symbol_table_object ( std::istream &  in, symbol_table_baset &  symbol_table, irep_serializationt &  irepconverter  )

static

Definition at line 23 of file read_bin_goto_object.cpp.