cprover
|
Read Goto Programs. More...
Go to the source code of this file.
Functions | |
optionalt< goto_modelt > | read_goto_binary (const std::string &filename, message_handlert &) |
Read a goto binary from a file, but do not update config. More... | |
bool | is_goto_binary (const std::string &filename, message_handlert &) |
bool | read_object_and_link (const std::string &file_name, symbol_tablet &, goto_functionst &, message_handlert &) |
reads an object file, and also updates the config More... | |
bool | read_object_and_link (const std::string &file_name, goto_modelt &, message_handlert &) |
reads an object file, and also updates config More... | |
Read Goto Programs.
Definition in file read_goto_binary.h.
bool is_goto_binary | ( | const std::string & | filename, |
message_handlert & | |||
) |
Definition at line 190 of file read_goto_binary.cpp.
optionalt<goto_modelt> read_goto_binary | ( | const std::string & | filename, |
message_handlert & | message_handler | ||
) |
Read a goto binary from a file, but do not update config.
filename | the file name of the goto binary |
message_handler | for diagnostics |
Definition at line 40 of file read_goto_binary.cpp.
bool read_object_and_link | ( | const std::string & | file_name, |
goto_modelt & | dest, | ||
message_handlert & | message_handler | ||
) |
reads an object file, and also updates config
file_name | file name of the goto binary |
dest | the goto model returned |
message_handler | for diagnostics |
Definition at line 273 of file read_goto_binary.cpp.
bool read_object_and_link | ( | const std::string & | file_name, |
symbol_tablet & | dest_symbol_table, | ||
goto_functionst & | dest_functions, | ||
message_handlert & | message_handler | ||
) |
reads an object file, and also updates the config
file_name | file name of the goto binary |
dest_symbol_table | symbol table to update |
dest_functions | collection of goto functions to update |
message_handler | for diagnostics |
Definition at line 307 of file read_goto_binary.cpp.