cprover
temp_dirt Class Reference

#include <tempdir.h>

Inheritance diagram for temp_dirt:
[legend]
Collaboration diagram for temp_dirt:
[legend]

Public Member Functions

std::string operator() (const std::string &file)
 
void clear ()
 
 temp_dirt (const std::string &name_template)
 
 ~temp_dirt ()
 

Public Attributes

std::string path
 

Detailed Description

Definition at line 19 of file tempdir.h.

Constructor & Destructor Documentation

§ temp_dirt()

temp_dirt::temp_dirt ( const std::string &  name_template)
explicit

Definition at line 78 of file tempdir.cpp.

References get_temporary_directory(), and path.

§ ~temp_dirt()

temp_dirt::~temp_dirt ( )

Definition at line 93 of file tempdir.cpp.

References clear().

Member Function Documentation

§ clear()

void temp_dirt::clear ( void  )

Definition at line 88 of file tempdir.cpp.

References delete_directory(), and path.

Referenced by ~temp_dirt().

§ operator()()

std::string temp_dirt::operator() ( const std::string &  file)

Definition at line 83 of file tempdir.cpp.

References concat_dir_file(), and path.

Member Data Documentation

§ path

std::string temp_dirt::path

Definition at line 22 of file tempdir.h.

Referenced by clear(), operator()(), temp_dirt(), and temp_working_dirt::temp_working_dirt().


The documentation for this class was generated from the following files: