22 #include <spot/misc/common.hh>
27 #include <spot/misc/formater.hh>
52 typedef std::list<temporary_file*>::iterator cleanpos_t;
60 const char* name()
const
65 friend std::ostream& operator<<(std::ostream& os,
const temporary_file* f)
72 print(std::ostream& os,
const char*)
const final override
Open temporary file.
Definition: tmpfile.hh:90
Definition: formater.hh:31
Temporary file name.
Definition: tmpfile.hh:50
Definition: automata.hh:27
void cleanup_tmpfiles()
Delete all temporary files.
open_temporary_file * create_open_tmpfile(const char *prefix, const char *suffix=nullptr)
Create a temporary file and leave it open for writing.
temporary_file * create_tmpfile(const char *prefix, const char *suffix=nullptr)
Create a temporary file.