Loading...

Searching...

No Matches

read_bin_goto_object.cpp File Reference

Read goto object files. More...

#include "read_bin_goto_object.h"
#include <util/irep_serialization.h>
#include <util/message.h>
#include <util/symbol_table_base.h>
#include "goto_functions.h"
#include "write_goto_binary.h"

+ Include dependency graph for read_bin_goto_object.cpp:

[フレーム]

Go to the source code of this file.

Functions

static void read_bin_symbol_table_object (std::istream &in, symbol_table_baset &symbol_table, irep_serializationt &irepconverter)

static void copy_parameter_identifiers (const symbol_table_baset &symbol_table, goto_functionst &functions)

The serialised form of the goto-model currently includes the parameter identifiers in the symbol table attached to the types of function symbols.

static void read_bin_functions_object (std::istream &in, goto_functionst &functions, irep_serializationt &irepconverter)

static void read_bin_goto_object (std::istream &in, symbol_table_baset &symbol_table, goto_functionst &functions, irep_serializationt &irepconverter)

read goto binary format

bool read_bin_goto_object (std::istream &in, const std::string &filename, symbol_table_baset &symbol_table, goto_functionst &functions, message_handlert &message_handler)

reads a goto binary file back into a symbol and a function table

Detailed Description

Read goto object files.

Definition in file read_bin_goto_object.cpp.

Function Documentation

◆ copy_parameter_identifiers()

static void copy_parameter_identifiers ( const symbol_table_baset & symbol_table,

goto_functionst & functions

)

static

The serialised form of the goto-model currently includes the parameter identifiers in the symbol table attached to the types of function symbols.

However it is not included in the goto functions. Therefore this function is needed to copy the parameter identifiers from the symbol table to the functions.

Definition at line 77 of file read_bin_goto_object.cpp.

◆ read_bin_functions_object()

static void read_bin_functions_object ( std::istream & in,

goto_functionst & functions,

irep_serializationt & irepconverter

)

static

Definition at line 98 of file read_bin_goto_object.cpp.

◆ read_bin_goto_object() [1/2]

bool read_bin_goto_object ( std::istream & in,

const std::string & filename,

symbol_table_baset & symbol_table,

goto_functionst & functions,

message_handlert & message_handler

)

reads a goto binary file back into a symbol and a function table

parameters: input stream, symbol table, functions

Returns: true on error, false otherwise

Definition at line 212 of file read_bin_goto_object.cpp.

◆ read_bin_goto_object() [2/2]

static void read_bin_goto_object ( std::istream & in,

symbol_table_baset & symbol_table,

goto_functionst & functions,

irep_serializationt & irepconverter

)

static

read goto binary format

parameters: input stream, symbol_table, functions

Definition at line 198 of file read_bin_goto_object.cpp.

◆ read_bin_symbol_table_object()

static void read_bin_symbol_table_object ( std::istream & in,

symbol_table_baset & symbol_table,

irep_serializationt & irepconverter

)

static

Definition at line 23 of file read_bin_goto_object.cpp.