cprover
tempdir.h
Go to the documentation of this file.
1 /*******************************************************************\
2 
3 Module:
4 
5 Author: CM Wintersteiger
6 
7 \*******************************************************************/
8 
9 
10 #ifndef CPROVER_UTIL_TEMPDIR_H
11 #define CPROVER_UTIL_TEMPDIR_H
12 
13 #include <string>
14 
15 std::string get_temporary_directory(const std::string &name_template);
16 
17 // Produces a temporary directory,
18 // and deletes it upon destruction.
19 class temp_dirt
20 {
21 public:
22  std::string path;
23 
24  std::string operator()(const std::string &file);
25 
26  void clear();
27 
28  explicit temp_dirt(const std::string &name_template);
29  ~temp_dirt();
30 };
31 
32 #endif // CPROVER_UTIL_TEMPDIR_H
temp_dirt::path
std::string path
Definition: tempdir.h:22
get_temporary_directory
std::string get_temporary_directory(const std::string &name_template)
Definition: tempdir.cpp:38
temp_dirt::~temp_dirt
~temp_dirt()
Definition: tempdir.cpp:110
temp_dirt::temp_dirt
temp_dirt(const std::string &name_template)
Definition: tempdir.cpp:95
file
Definition: kdev_t.h:19
temp_dirt::clear
void clear()
Definition: tempdir.cpp:105
temp_dirt
Definition: tempdir.h:19
temp_dirt::operator()
std::string operator()(const std::string &file)
Definition: tempdir.cpp:100