cprover
dump_c.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module: Dump C from Goto Program
4 
5 Author: Daniel Kroening, kroening@kroening.com
6 
7 \*******************************************************************/
8 
11 
12 #ifndef CPROVER_GOTO_INSTRUMENT_DUMP_C_H
13 #define CPROVER_GOTO_INSTRUMENT_DUMP_C_H
14 
15 #include <iosfwd>
16 #include <string>
17 
18 class goto_functionst;
19 class namespacet;
20 
21 void dump_c(
22  const goto_functionst &src,
23  const bool use_system_headers,
24  const bool use_all_headers,
25  const bool include_harness,
26  const namespacet &ns,
27  std::ostream &out);
28 
30  const goto_functionst &src,
31  const bool use_system_headers,
32  const bool use_all_headers,
33  const bool include_harness,
34  const namespacet &ns,
35  const std::string module,
36  std::ostream &out);
37 
38 void dump_cpp(
39  const goto_functionst &src,
40  const bool use_system_headers,
41  const bool use_all_headers,
42  const bool include_harness,
43  const namespacet &ns,
44  std::ostream &out);
45 
46 #endif // CPROVER_GOTO_INSTRUMENT_DUMP_C_H
A collection of goto functions.
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:91
void dump_cpp(const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)
Definition: dump_c.cpp:1592
void dump_c(const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, std::ostream &out)
Definition: dump_c.cpp:1579
void dump_c_type_header(const goto_functionst &src, const bool use_system_headers, const bool use_all_headers, const bool include_harness, const namespacet &ns, const std::string module, std::ostream &out)
Definition: dump_c.cpp:1614