Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_INSTRUMENT_DUMP_C_H
13 #define CPROVER_GOTO_INSTRUMENT_DUMP_C_H
19 const bool use_system_headers,
20 const bool use_all_headers,
21 const bool include_harness,
27 const bool use_system_headers,
28 const bool use_all_headers,
29 const bool include_harness,
31 const std::string module,
36 const bool use_system_headers,
37 const bool use_all_headers,
38 const bool include_harness,
42 #endif // CPROVER_GOTO_INSTRUMENT_DUMP_C_H
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)
A namespacet is essentially one or two symbol tables bound together, to allow for symbol lookups in t...
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)
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)
A collection of goto functions.
Goto Programs with Functions.