read_goto_binary.h File Reference

#include <list>
#include <string>
#include <util/optional.h>

Include dependency graph for read_goto_binary.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions
optionalt< goto_modelt >	read_goto_binary (const std::string &filename, message_handlert &)
	Read a goto binary from a file, but do not update config. More...
bool	is_goto_binary (const std::string &filename, message_handlert &)
bool	read_objects_and_link (const std::list< std::string > &file_names, goto_modelt &dest, message_handlert &message_handler)
	Reads object files and updates the config if any files were read. More...

Detailed Description

Read Goto Programs

Definition in file read_goto_binary.h.

Function Documentation

is_goto_binary()

bool is_goto_binary	(	const std::string &	filename,
		message_handlert &
	)

Definition at line 192 of file read_goto_binary.cpp.

read_goto_binary()

optionalt<goto_modelt> read_goto_binary	(	const std::string &	filename,
		message_handlert &	message_handler
	)

Read a goto binary from a file, but do not update config.

Parameters

filename	the file name of the goto binary
message_handler	for diagnostics

Returns

goto model on success, {} on failure

Definition at line 42 of file read_goto_binary.cpp.

read_objects_and_link()

bool read_objects_and_link	(	const std::list< std::string > &	file_names,
		goto_modelt &	dest,
		message_handlert &	message_handler
	)

Reads object files and updates the config if any files were read.

Parameters

	file_names	file names of goto binaries; if empty, just returns false
[out]	dest	GOTO model to update.
	message_handler	for diagnostics

Returns

True on error, false otherwise

Definition at line 291 of file read_goto_binary.cpp.