|
ESBMC
Efficient SMT-based Context-Bounded Model Checker
|
Represents a temporary path, which is (optionally) removed by the destructor. More...
#include <filesystem.h>
Public Member Functions | |
| tmp_path ()=default | |
| tmp_path (std::string path, bool keep=false) | |
| tmp_path (const tmp_path &)=delete | |
| tmp_path (tmp_path &&o) | |
| ~tmp_path () | |
| tmp_path & | operator= (tmp_path o) |
| const std::string & | path () const noexcept |
| tmp_path & | keep (bool yes) &noexcept |
| tmp_path && | keep (bool yes) &&noexcept |
Protected Attributes | |
| bool | _keep = true |
Friends | |
| void | swap (tmp_path &a, tmp_path &b) |
Represents a temporary path, which is (optionally) removed by the destructor.
On destruction, optionally (default: yes), the path removed along with all contained paths if it points to a directory. The default ctor is provided only to ease array allocation; it does not construct valid temporary paths. As an instance of this class represents a bound resource, it cannot be copied, only moved.
|
default |
|
delete |
| tmp_path::tmp_path | ( | tmp_path && | o | ) |
| tmp_path::~tmp_path | ( | ) |
|
noexcept |