#include <goto-programs/goto_function_serialization.h>
#include <goto-programs/goto_program_irep.h>
#include <goto-programs/read_bin_goto_object.h>
#include <langapi/mode.h>
#include <util/expr/base_type.h>
#include <util/irep/irep_serialization.h>
#include <util/symtab/namespace.h>
#include <util/symtab/symbol_serialization.h>

Include dependency graph for read_bin_goto_object.cpp:

Macros
#define	BINARY_VERSION 1

Functions
static void	declare_empty_function (goto_functionst *goto_functions, const symbolt &symbol)
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.
bool	read_bin_goto_object (std::istream &in, const std::string &filename, contextt &context, goto_functionst &goto_functions)
	Parses in.

Macro Definition Documentation

◆ BINARY_VERSION

#define BINARY_VERSION 1

Function Documentation

◆ declare_empty_function()

void declare_empty_function	(	goto_functionst *	goto_functions,
		const symbolt &	symbol )

static

◆ 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