CBMC
Public Member Functions | Public Attributes | List of all members
temp_dirt Class Reference

#include <tempdir.h>

+ Collaboration diagram for temp_dirt:

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
 

Detailed Description

Definition at line 19 of file tempdir.h.

Constructor & Destructor Documentation

◆ temp_dirt() [1/3]

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

Definition at line 73 of file tempdir.cpp.

◆ ~temp_dirt()

temp_dirt::~temp_dirt ( )

Definition at line 88 of file tempdir.cpp.

◆ temp_dirt() [2/3]

temp_dirt::temp_dirt ( const temp_dirt &  )
delete

◆ temp_dirt() [3/3]

temp_dirt::temp_dirt ( temp_dirt &&  other)
inline

Definition at line 27 of file tempdir.h.

Member Function Documentation

◆ clear()

void temp_dirt::clear ( void  )

Definition at line 83 of file tempdir.cpp.

◆ operator()()

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

Definition at line 78 of file tempdir.cpp.

Member Data Documentation

◆ path

std::string temp_dirt::path

Definition at line 36 of file tempdir.h.

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