cprover
|
#include <tempdir.h>
Public Member Functions | |
temp_dirt (const std::string &name_template) | |
~temp_dirt () | |
temp_dirt (const temp_dirt &)=delete | |
temp_dirt (temp_dirt &&other) | |
std::string | operator() (const std::string &file) |
void | clear () |
Public Attributes | |
std::string | path |
|
explicit |
Definition at line 107 of file tempdir.cpp.
temp_dirt::~temp_dirt | ( | ) |
Definition at line 122 of file tempdir.cpp.
|
delete |
void temp_dirt::clear | ( | void | ) |
Definition at line 117 of file tempdir.cpp.
std::string temp_dirt::operator() | ( | const std::string & | file | ) |
Definition at line 112 of file tempdir.cpp.