cprover
|
Write GOTO binaries. More...
#include "write_goto_binary.h"
#include <fstream>
#include <util/message.h>
#include <util/irep_serialization.h>
#include <util/symbol_table.h>
Go to the source code of this file.
Functions | |
bool | write_goto_binary_v3 (std::ostream &out, const symbol_tablet &lsymbol_table, const goto_functionst &functions, irep_serializationt &irepconverter) |
Writes a goto program to disc, using goto binary format ver 2. More... | |
bool | write_goto_binary (std::ostream &out, const symbol_tablet &lsymbol_table, const goto_functionst &functions, int version) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (const std::string &filename, const symbol_tablet &symbol_table, const goto_functionst &goto_functions, message_handlert &message_handler) |
Writes a goto program to disc. More... | |
Write GOTO binaries.
Definition in file write_goto_binary.cpp.
bool write_goto_binary | ( | std::ostream & | out, |
const symbol_tablet & | lsymbol_table, | ||
const goto_functionst & | functions, | ||
int | version | ||
) |
Writes a goto program to disc.
Definition at line 123 of file write_goto_binary.cpp.
References write_gb_word(), and write_goto_binary_v3().
Referenced by goto_fence_inserter_parse_optionst::doit(), goto_instrument_parse_optionst::doit(), compilet::write_bin_object_file(), and write_goto_binary().
bool write_goto_binary | ( | const std::string & | filename, |
const symbol_tablet & | symbol_table, | ||
const goto_functionst & | goto_functions, | ||
message_handlert & | message_handler | ||
) |
Writes a goto program to disc.
Definition at line 157 of file write_goto_binary.cpp.
References messaget::error(), and write_goto_binary().
bool write_goto_binary_v3 | ( | std::ostream & | out, |
const symbol_tablet & | lsymbol_table, | ||
const goto_functionst & | functions, | ||
irep_serializationt & | irepconverter | ||
) |
Writes a goto program to disc, using goto binary format ver 2.
Definition at line 21 of file write_goto_binary.cpp.
References symbolt::base_name, forall_goto_functions, forall_goto_program_instructions, forall_symbols, goto_functions_templatet< bodyT >::function_map, id2string(), 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::reference_convert(), symbol_tablet::symbols, symbolt::type, symbolt::value, write_gb_string(), write_gb_word(), and irep_serializationt::write_string_ref().
Referenced by write_goto_binary().