cprover
write_goto_binary.cpp File Reference

Write GOTO binaries. More...

#include "write_goto_binary.h"
#include <fstream>
#include <util/exception_utils.h>
#include <util/invariant.h>
#include <util/irep_serialization.h>
#include <util/message.h>
#include <util/symbol_table.h>
#include <goto-programs/goto_model.h>
+ Include dependency graph for write_goto_binary.cpp:

Go to the source code of this file.

Functions

bool write_goto_binary_v4 (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 4. 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...
 

Detailed Description

Write GOTO binaries.

Definition in file write_goto_binary.cpp.

Function Documentation

◆ write_goto_binary() [1/3]

bool write_goto_binary ( std::ostream &  out,
const goto_modelt goto_model,
int  version 
)

Writes a goto program to disc.

Definition at line 127 of file write_goto_binary.cpp.

◆ write_goto_binary() [2/3]

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 140 of file write_goto_binary.cpp.

◆ write_goto_binary() [3/3]

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 168 of file write_goto_binary.cpp.

◆ write_goto_binary_v4()

bool write_goto_binary_v4 ( 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 4.

Definition at line 25 of file write_goto_binary.cpp.