22 #include <spot/misc/common.hh>
27 #include <spot/misc/formater.hh>
52 typedef std::list<temporary_file*>::iterator cleanpos_t;
55 virtual ~temporary_file()
override;
57 const char* name()
const
62 friend std::ostream& operator<<(std::ostream& os,
const temporary_file* f)
69 print(std::ostream& os,
const char*)
const final override
90 virtual ~open_temporary_file()
override;
112 create_tmpfile(
const char* prefix,
const char* suffix =
nullptr)
113 throw(
std::bad_alloc,
std::runtime_error);
120 create_open_tmpfile(const
char* prefix, const
char* suffix =
nullptr)
121 throw(
std::bad_alloc,
std::runtime_error);
Temporary file name.
Definition: tmpfile.hh:49
Open temporary file.
Definition: tmpfile.hh:86
Definition: formula.hh:1543
Definition: formater.hh:29