21#include <spot/misc/common.hh>
26#include <spot/misc/formater.hh>
51 typedef std::list<temporary_file*>::iterator cleanpos_t;
59 const char* name()
const
64 friend std::ostream& operator<<(std::ostream& os,
const temporary_file* f)
71 print(std::ostream& os,
const char*)
const final override
Open temporary file.
Definition: tmpfile.hh:89
Definition: formater.hh:30
Temporary file name.
Definition: tmpfile.hh:49
Definition: automata.hh:26
void cleanup_tmpfiles()
Delete all temporary files.
temporary_file * create_tmpfile(const char *prefix, const char *suffix=nullptr)
Create a temporary file.
open_temporary_file * create_open_tmpfile(const char *prefix, const char *suffix=nullptr)
Create a temporary file and leave it open for writing.