cprover
|
Read goto object files. More...
#include "read_bin_goto_object.h"
#include <util/namespace.h>
#include <util/message.h>
#include <util/symbol_table.h>
#include <util/irep_serialization.h>
#include "goto_functions.h"
Go to the source code of this file.
Functions | |
bool | read_bin_goto_object_v3 (std::istream &in, const std::string &filename, symbol_tablet &symbol_table, goto_functionst &functions, message_handlert &message_handler, irep_serializationt &irepconverter) |
read goto binary format v3 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... | |
Read goto object files.
Definition in file read_bin_goto_object.cpp.
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
Definition at line 169 of file read_bin_goto_object.cpp.
References messaget::eom(), messaget::error(), read_bin_goto_object_v3(), and irep_serializationt::read_gb_word().
Referenced by read_goto_binary().
bool read_bin_goto_object_v3 | ( | std::istream & | in, |
const std::string & | filename, | ||
symbol_tablet & | symbol_table, | ||
goto_functionst & | functions, | ||
message_handlert & | message_handler, | ||
irep_serializationt & | irepconverter | ||
) |
read goto binary format v3
Definition at line 26 of file read_bin_goto_object.cpp.
References symbol_tablet::add(), symbolt::base_name, goto_functions_templatet< bodyT >::compute_location_numbers(), goto_functions_templatet< bodyT >::function_map, irept::id(), symbolt::is_auxiliary, symbolt::is_exported, symbolt::is_extern, symbolt::is_file_local, symbolt::is_input, symbolt::is_lvalue, symbolt::is_macro, symbolt::is_output, symbolt::is_parameter, symbolt::is_property, symbolt::is_state_var, symbolt::is_static_lifetime, symbolt::is_thread_local, symbolt::is_type, symbolt::is_volatile, symbolt::is_weak, symbolt::location, symbolt::mode, symbolt::module, symbolt::name, symbolt::pretty_name, irep_serializationt::read_gb_string(), irep_serializationt::read_gb_word(), irep_serializationt::read_string_ref(), irep_serializationt::reference_convert(), to_code_type(), symbolt::type, and symbolt::value.
Referenced by read_bin_goto_object().