cprover
|
#include <tempdir.h>
Public Member Functions | |
temp_working_dirt (const std::string &name_template) | |
~temp_working_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 |
![]() | |
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().