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
this class acts like a wrapper to the C code of the open_set.
Definition: public.hh:32
Temporary file name.
Definition: tmpfile.hh:50
Open temporary file.
Definition: tmpfile.hh:87
Definition: formater.hh:30