20 #ifndef SPOT_MISC_TMPFILE_HH
21 # define SPOT_MISC_TMPFILE_HH
28 # include "formater.hh"
53 typedef std::list<temporary_file*>::iterator cleanpos_t;
58 const char* name()
const
63 friend std::ostream& operator<<(std::ostream& os,
const temporary_file* f)
70 print(std::ostream& os,
const char*)
const
91 ~open_temporary_file();
113 create_tmpfile(
const char* prefix,
const char* suffix = 0)
114 throw(std::bad_alloc, std::runtime_error);
121 create_open_tmpfile(const
char* prefix, const
char* suffix = 0)
122 throw(std::bad_alloc, std::runtime_error);
143 #endif // SPOT_MISC_TMPFILE_HH
Temporary file name.
Definition: tmpfile.hh:50
Open temporary file.
Definition: tmpfile.hh:87
Definition: formater.hh:30