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();
114 throw(std::bad_alloc, std::runtime_error);
122 throw(std::bad_alloc, std::runtime_error);
143 #endif // SPOT_MISC_TMPFILE_HH