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
symbol_tablet
;
18
class
goto_functionst
;
19
class
message_handlert
;
20
class
goto_modelt
;
21
22
bool
read_goto_binary
(
23
const
std::string &filename,
24
symbol_tablet
&,
25
goto_functionst
&,
26
message_handlert
&);
27
28
bool
read_goto_binary
(
29
const
std::string &filename,
30
goto_modelt
&dest,
31
message_handlert
&);
32
33
bool
is_goto_binary
(
const
std::string &filename);
34
35
bool
read_object_and_link
(
36
const
std::string &file_name,
37
symbol_tablet
&,
38
goto_functionst
&,
39
message_handlert
&);
40
41
bool
read_object_and_link
(
42
const
std::string &file_name,
43
goto_modelt
&,
44
message_handlert
&);
45
46
#endif // CPROVER_GOTO_PROGRAMS_READ_GOTO_BINARY_H
read_object_and_link
bool read_object_and_link(const std::string &file_name, symbol_tablet &, goto_functionst &, message_handlert &)
reads an object file
Definition:
read_goto_binary.cpp:345
goto_modelt
Definition:
goto_model.h:22
is_goto_binary
bool is_goto_binary(const std::string &filename)
Definition:
read_goto_binary.cpp:155
symbol_tablet
The symbol table.
Definition:
symbol_table.h:52
read_goto_binary
bool read_goto_binary(const std::string &filename, symbol_tablet &, goto_functionst &, message_handlert &)
Definition:
read_goto_binary.cpp:50
message_handlert
Definition:
message.h:20
goto_functionst
Definition:
goto_functions.h:20
goto-programs
read_goto_binary.h
Generated by
1.8.12