22 #include <spot/misc/common.hh> 27 #include <spot/misc/formater.hh> 52 typedef std::list<temporary_file*>::iterator cleanpos_t;
56 temporary_file(
const temporary_file& other) =
delete;
58 virtual ~temporary_file()
override;
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 93 virtual ~open_temporary_file()
override;
115 create_tmpfile(
const char* prefix,
const char* suffix =
nullptr);
122 create_open_tmpfile(
const char* prefix,
const char* suffix =
nullptr);
Temporary file name.
Definition: tmpfile.hh:49
Open temporary file.
Definition: tmpfile.hh:89
Definition: formater.hh:32