cprover
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 <string>
16 
17 #include <util/deprecate.h>
18 #include <util/optional.h>
19 
20 class goto_functionst;
21 class goto_modelt;
22 class message_handlert;
23 class symbol_tablet;
24 
25 bool read_goto_binary(
26  const std::string &filename,
27  symbol_tablet &,
30 
31 DEPRECATED("use two-parameter variant instead")
32 bool read_goto_binary(
33  const std::string &filename,
34  goto_modelt &dest,
36 
38 read_goto_binary(const std::string &filename, message_handlert &);
39 
40 bool is_goto_binary(const std::string &filename);
41 
43  const std::string &file_name,
44  symbol_tablet &,
47 
49  const std::string &file_name,
50  goto_modelt &,
52 
53 #endif // CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
symbol_tablet
The symbol table.
Definition: symbol_table.h:19
is_goto_binary
bool is_goto_binary(const std::string &filename)
Definition: read_goto_binary.cpp:168
optional.h
goto_modelt
Definition: goto_model.h:24
read_object_and_link
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
Definition: read_goto_binary.cpp:272
deprecate.h
read_goto_binary
bool read_goto_binary(const std::string &filename, symbol_tablet &, goto_functionst &, message_handlert &)
Read a goto binary from a file, but do not update config.
Definition: read_goto_binary.cpp:69
message_handlert
Definition: message.h:24
optionalt
nonstd::optional< T > optionalt
Definition: optional.h:35
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:22
DEPRECATED
#define DEPRECATED(msg)
Definition: deprecate.h:23