goto_binary_reader Class Reference

#include <goto_binary_reader.h>

Public Member Functions
bool	read_goto_binary_array (const void *data, size_t size, contextt &context, contextt &ignored, goto_functionst *goto_functions=nullptr)
	Reads a bundled library blob.
void	set_functions_to_read (const std::vector< std::string > &funcs)
bool	read_goto_binary (const std::string &path, contextt &context, goto_functionst &dest)

Member Function Documentation

read_goto_binary()

bool goto_binary_reader::read_goto_binary	(	const std::string &	path,
		contextt &	context,
		goto_functionst &	dest )

read_goto_binary_array()

bool goto_binary_reader::read_goto_binary_array	(	const void *	data,
		size_t	size,
		contextt &	context,
		contextt &	ignored,
		goto_functionst *	goto_functions = nullptr )

Reads a bundled library blob.

goto_functions is null for a blob whose bodies travel in their symbols' values and are built later by goto_convert_functions; pass one for a blob written after goto_convert, whose bodies are already lowered.

set_functions_to_read()

void goto_binary_reader::set_functions_to_read ( const std::vector< std::string > & funcs )

inline

---

The documentation for this class was generated from the following files:

• src/goto-programs/goto_binary_reader.h
• src/goto-programs/goto_binary_reader.cpp