write_goto_binary.cpp File Reference

#include "write_goto_binary.h"
#include <fstream>
#include <util/exception_utils.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 (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. 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/4]

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

write_goto_binary() [2/4]

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

Writes a goto program to disc.

Definition at line 128 of file write_goto_binary.cpp.

write_goto_binary() [3/4]

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

write_goto_binary() [4/4]

bool write_goto_binary	(	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.

Definition at line 24 of file write_goto_binary.cpp.