CBMC
read_goto_binary.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Read Goto Programs
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
13 #define CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
14 
15 #include <list>
16 #include <optional>
17 #include <string>
18 
19 class goto_modelt;
20 class message_handlert;
21 
22 std::optional<goto_modelt>
23 read_goto_binary(const std::string &filename, message_handlert &);
24 
25 bool is_goto_binary(const std::string &filename, message_handlert &);
26 
32 bool read_objects_and_link(
33  const std::list<std::string> &file_names,
34  goto_modelt &dest,
35  message_handlert &message_handler);
36 
37 #endif // CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
goto_modelt
Definition: goto_model.h:27
message_handlert
Definition: message.h:28
read_goto_binary
std::optional< goto_modelt > read_goto_binary(const std::string &filename, message_handlert &)
Read a goto binary from a file, but do not update config.
Definition: read_goto_binary.cpp:39
read_objects_and_link
bool read_objects_and_link(const std::list< std::string > &file_names, goto_modelt &dest, message_handlert &message_handler)
Reads object files and updates the config if any files were read.
Definition: read_goto_binary.cpp:280
is_goto_binary
bool is_goto_binary(const std::string &filename, message_handlert &)
Definition: read_goto_binary.cpp:185