|
cprover
|
#include <tempdir.h>
Public Member Functions | |
| temp_working_dirt (const std::string &name_template) | |
| ~temp_working_dirt () | |
Public Member Functions inherited from temp_dirt | |
| std::string | operator() (const std::string &file) |
| void | clear () |
| temp_dirt (const std::string &name_template) | |
| ~temp_dirt () | |
Public Attributes | |
| std::string | old_working_directory |
Public Attributes inherited from temp_dirt | |
| std::string | path |
|
explicit |
Definition at line 98 of file tempdir.cpp.
References get_current_working_directory(), old_working_directory, and temp_dirt::path.
| temp_working_dirt::~temp_working_dirt | ( | ) |
Definition at line 106 of file tempdir.cpp.
References old_working_directory.
| std::string temp_working_dirt::old_working_directory |
Definition at line 39 of file tempdir.h.
Referenced by temp_working_dirt(), and ~temp_working_dirt().