cprover
read_bin_goto_object.cpp File Reference

Read goto object files. More...

+ Include dependency graph for read_bin_goto_object.cpp:

Go to the source code of this file.

Functions

static bool read_bin_goto_object_v4 (std::istream &in, symbol_tablet &symbol_table, goto_functionst &functions, irep_serializationt &irepconverter)
 read goto binary format v4 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()

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 170 of file read_bin_goto_object.cpp.

◆ read_bin_goto_object_v4()

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

read goto binary format v4

parameters: input stream, symbol_table, functions
Returns
true on error, false otherwise

Definition at line 26 of file read_bin_goto_object.cpp.