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

(

)

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:

• /home/runner/work/cbmc/cbmc/src/util/tempdir.h
• /home/runner/work/cbmc/cbmc/src/util/tempdir.cpp