spot  2.3
 All Classes Files Functions Variables Typedefs Enumerations Enumerator Friends Modules Pages
Public Types | Public Member Functions | Protected Attributes | Friends | List of all members
spot::temporary_file Class Reference

Temporary file name. More...

#include <spot/misc/tmpfile.hh>

Inheritance diagram for spot::temporary_file:
Inheritance graph
Collaboration diagram for spot::temporary_file:
Collaboration graph

Public Types

typedef std::list
< temporary_file * >::iterator 
cleanpos_t
 

Public Member Functions

SPOT_LOCAL temporary_file (char *name, cleanpos_t cp)
 
 temporary_file (const temporary_file &other)=delete
 
const char * name () const
 
virtual void print (std::ostream &os, const char *) const finaloverride
 

Protected Attributes

char * name_
 
cleanpos_t cleanpos_
 

Friends

std::ostream & operator<< (std::ostream &os, const temporary_file *f)
 

Detailed Description

Temporary file name.

This class serves a dual purpose.

  1. It carries the name of a temporary file, created with create_tmpfile().
  2. It represents the life of the associated file. The file is erased as soon as the temporary_file instance is destroyed.

Note that there are two ways to destroy temporary_file instances. Either directly with delete, or indirectly by calling cleanup_tmpfiles(). You should never delete an instance that has been created before the last call to cleanup_tmpfiles(), because that instance has already been deleted.


The documentation for this class was generated from the following file:

Please direct any question, comment, or bug report to the Spot mailing list at spot@lrde.epita.fr.
Generated on Thu Jan 19 2017 11:08:41 for spot by doxygen 1.8.8