Go to the documentation of this file.
12 #ifndef CPROVER_GOTO_INSTRUMENT_DUMP_C_H
13 #define CPROVER_GOTO_INSTRUMENT_DUMP_C_H
23 const bool use_system_headers,
24 const bool use_all_headers,
25 const bool include_harness,
31 const bool use_system_headers,
32 const bool use_all_headers,
33 const bool include_harness,
35 const std::string module,
40 const bool use_system_headers,
41 const bool use_all_headers,
42 const bool include_harness,
46 #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.