read_bin_goto_object.h File Reference

#include <goto-programs/goto_functions.h>
#include <util/symtab/context.h>
#include <util/message/message.h>
#include <vector>
#include <string>

Include dependency graph for read_bin_goto_object.h:

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

Go to the source code of this file.

Functions
bool	read_bin_goto_object (std::istream &in, const std::string &filename, contextt &context, goto_functionst &goto_functions)
	Parses in.
bool	read_bin_goto_object (std::istream &in, const std::string &filename, contextt &context, contextt &ignored, std::unordered_set< std::string > &function_set, goto_functionst *goto_functions)
	As above, with a symbol whitelist and an out-context for what it filters out.

Function Documentation

read_bin_goto_object() [1/2]

bool read_bin_goto_object	(	std::istream &	in,
		const std::string &	filename,
		contextt &	context,
		contextt &	ignored,
		std::unordered_set< std::string > &	function_set,
		goto_functionst *	goto_functions )

As above, with a symbol whitelist and an out-context for what it filters out.

goto_functions may be null to read the symbol table alone, which requires the stream's function-body section to be empty.

read_bin_goto_object() [2/2]

bool read_bin_goto_object	(	std::istream &	in,
		const std::string &	filename,
		contextt &	context,
		goto_functionst &	goto_functions )

Parses in.

On failure an error is logged via log_error.

Returns

true on error, false on success