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 class goto_functionst;
18 class goto_modelt;
19 class message_handlert;
20 class symbol_tablet;
21 
22 bool read_goto_binary(
23  const std::string &filename,
24  symbol_tablet &,
27 
28 bool read_goto_binary(
29  const std::string &filename,
30  goto_modelt &dest,
32 
33 bool is_goto_binary(const std::string &filename);
34 
36  const std::string &file_name,
37  symbol_tablet &,
40 
42  const std::string &file_name,
43  goto_modelt &,
45 
46 #endif // CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
bool read_object_and_link(const std::string &file_name, symbol_tablet &, goto_functionst &, message_handlert &)
reads an object file
bool is_goto_binary(const std::string &filename)
The symbol table.
Definition: symbol_table.h:19
bool read_goto_binary(const std::string &filename, symbol_tablet &, goto_functionst &, message_handlert &)