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
void clear()
Definition: tempdir.cpp:105
std::string get_temporary_directory(const std::string &name_template)
Definition: tempdir.cpp:38
~temp_dirt()
Definition: tempdir.cpp:110
temp_dirt(const std::string &name_template)
Definition: tempdir.cpp:95
std::string operator()(const std::string &file)
Definition: tempdir.cpp:100
std::string path
Definition: tempdir.h:22
Definition: kdev_t.h:19