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>
#include <goto-programs/goto_model.h>
Go to the source code of this file.
Functions | |
bool | write_goto_binary_v3 (std::ostream &out, const symbol_tablet &symbol_table, const goto_functionst &goto_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 goto_modelt &goto_model, int version) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (std::ostream &out, const symbol_tablet &symbol_table, const goto_functionst &goto_functions, int version) |
Writes a goto program to disc. More... | |
bool | write_goto_binary (const std::string &filename, const goto_modelt &goto_model, 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 goto_modelt & | goto_model, | ||
int | version | ||
) |
Writes a goto program to disc.
Definition at line 125 of file write_goto_binary.cpp.
References goto_modelt::goto_functions, goto_modelt::symbol_table, and write_goto_binary().
Referenced by goto_instrument_parse_optionst::doit(), static_simplifier(), compilet::write_bin_object_file(), and write_goto_binary().
bool write_goto_binary | ( | std::ostream & | out, |
const symbol_tablet & | symbol_table, | ||
const goto_functionst & | goto_functions, | ||
int | version | ||
) |
Writes a goto program to disc.
Definition at line 138 of file write_goto_binary.cpp.
References write_gb_word(), and write_goto_binary_v3().
bool write_goto_binary | ( | const std::string & | filename, |
const goto_modelt & | goto_model, | ||
message_handlert & | message_handler | ||
) |
Writes a goto program to disc.
Definition at line 171 of file write_goto_binary.cpp.
References messaget::error(), message_handler, and write_goto_binary().
bool write_goto_binary_v3 | ( | std::ostream & | out, |
const symbol_tablet & | symbol_table, | ||
const goto_functionst & | goto_functions, | ||
irep_serializationt & | irepconverter | ||
) |
Writes a goto program to disc, using goto binary format ver 2.
Definition at line 23 of file write_goto_binary.cpp.
References symbolt::base_name, goto_programt::instructiont::code, forall_goto_functions, forall_goto_program_instructions, goto_programt::instructiont::function, goto_functionst::function_map, goto_programt::instructiont::guard, 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, goto_programt::instructiont::labels, symbolt::location, symbolt::mode, symbolt::module, symbolt::name, symbolt::pretty_name, irep_serializationt::reference_convert(), goto_programt::instructiont::source_location, symbol_table_baset::symbols, goto_programt::instructiont::target_number, goto_programt::instructiont::targets, symbolt::type, goto_programt::instructiont::type, symbolt::value, write_gb_string(), write_gb_word(), and irep_serializationt::write_string_ref().
Referenced by write_goto_binary().