cprover
temp_working_dirt Class Reference

#include <tempdir.h>

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

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
 

Detailed Description

Definition at line 36 of file tempdir.h.

Constructor & Destructor Documentation

§ temp_working_dirt()

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

§ ~temp_working_dirt()

temp_working_dirt::~temp_working_dirt ( )

Definition at line 106 of file tempdir.cpp.

References old_working_directory.

Member Data Documentation

§ 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().


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