cprover
dump_c.h File Reference

Dump C from Goto Program. More...

+ Include dependency graph for dump_c.h:
+ This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Functions

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)
 
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)
 
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)
 

Detailed Description

Dump C from Goto Program.

Definition in file dump_c.h.

Function Documentation

◆ 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 at line 1462 of file dump_c.cpp.

◆ 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 at line 1507 of file dump_c.cpp.

◆ 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 at line 1480 of file dump_c.cpp.