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 
16 
17 void dump_c(
18  const goto_functionst &src,
19  const bool use_system_headers,
20  const bool use_all_headers,
21  const bool include_harness,
22  const namespacet &ns,
23  std::ostream &out);
24 
26  const goto_functionst &src,
27  const bool use_system_headers,
28  const bool use_all_headers,
29  const bool include_harness,
30  const namespacet &ns,
31  const std::string module,
32  std::ostream &out);
33 
34 void dump_cpp(
35  const goto_functionst &src,
36  const bool use_system_headers,
37  const bool use_all_headers,
38  const bool include_harness,
39  const namespacet &ns,
40  std::ostream &out);
41 
42 #endif // CPROVER_GOTO_INSTRUMENT_DUMP_C_H
dump_c
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:1462
namespacet
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
Definition: namespace.h:92
dump_cpp
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:1480
dump_c_type_header
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:1507
goto_functionst
A collection of goto functions.
Definition: goto_functions.h:23
goto_functions.h
Goto Programs with Functions.