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)
116 throw(
std::bad_alloc,
std::runtime_error);
123 create_open_tmpfile(const
char* prefix, const
char* suffix =
nullptr)
124 throw(
std::bad_alloc,
std::runtime_error);
Temporary file name.
Definition: tmpfile.hh:49
Open temporary file.
Definition: tmpfile.hh:89
Definition: formula.hh:1671
Definition: formater.hh:29