|
CBMC
|
Output file container that handles stdout ("-") and regular files. More...
#include <iosfwd>#include <memory>#include <string>
Include dependency graph for output_file.h:
This graph shows which files directly or indirectly include this file:Go to the source code of this file.
Classes | |
| class | output_filet |
| RAII container for an output stream that is either stdout or a file. More... | |
Output file container that handles stdout ("-") and regular files.
Definition in file output_file.h.