cprover
read_goto_binary.h File Reference

Read Goto Programs. More...

#include <string>
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

bool read_goto_binary (const std::string &filename, symbol_tablet &, goto_functionst &, message_handlert &)
 
bool read_goto_binary (const std::string &filename, goto_modelt &dest, message_handlert &)
 
bool is_goto_binary (const std::string &filename)
 
bool read_object_and_link (const std::string &file_name, symbol_tablet &, goto_functionst &, message_handlert &)
 reads an object file More...
 
bool read_object_and_link (const std::string &file_name, goto_modelt &, message_handlert &)
 reads an object file More...
 

Detailed Description

Read Goto Programs.

Definition in file read_goto_binary.h.

Function Documentation

§ is_goto_binary()

§ read_goto_binary() [1/2]

§ read_goto_binary() [2/2]

§ read_object_and_link() [1/2]

bool read_object_and_link ( const std::string &  file_name,
symbol_tablet symbol_table,
goto_functionst functions,
message_handlert message_handler 
)

§ read_object_and_link() [2/2]

bool read_object_and_link ( const std::string &  file_name,
goto_modelt goto_model,
message_handlert message_handler 
)

reads an object file

parameters: a file_name
Returns
true on error, false otherwise

Definition at line 392 of file read_goto_binary.cpp.

References goto_modelt::goto_functions, read_object_and_link(), and goto_modelt::symbol_table.