tempfile.h

Go to the documentation of this file.

/*******************************************************************\
 
Module:
 
Author: Daniel Kroening
 
\*******************************************************************/
 
 
#ifndef CPROVER_UTIL_TEMPFILE_H
#define CPROVER_UTIL_TEMPFILE_H
 
#include <string>
 
// Returns an unused file name for a writeable temporary file,
// and makes sure it exists.
std::string get_temporary_file(
  const std::string &prefix,
  const std::string &suffix);
 
// The below deletes the temporary file upon destruction,
// cleaning up after you in case of exceptions.
class temporary_filet
{
public:
  temporary_filet(
    const std::string &prefix,
    const std::string &suffix):
      name(get_temporary_file(prefix, suffix))
  {
  }
  temporary_filet( {…}
 
  // Using the copy constructor would delete the file twice.
  temporary_filet(const temporary_filet &)=delete;
 
  temporary_filet(temporary_filet &&other)
  {
    name.swap(other.name);
  }
  temporary_filet(temporary_filet &&other) {…}
 
  // get the name
  std::string operator()() const
  {
    return name;
  }
  std::string operator()() const {…}
 
  // will delete the file
  ~temporary_filet();
 
protected:
  std::string name;
};
class temporary_filet {…};
 
#endif // CPROVER_UTIL_TEMPFILE_H