temporary_filet Class Reference

#include <tempfile.h>

Collaboration diagram for temporary_filet:

Public Member Functions
	temporary_filet (const std::string &prefix, const std::string &suffix)
	temporary_filet (const temporary_filet &)=delete
	temporary_filet (temporary_filet &&other)
std::string	operator() () const
	~temporary_filet ()

Protected Attributes
std::string	name

Detailed Description

Definition at line 23 of file tempfile.h.

Constructor & Destructor Documentation

temporary_filet() [1/3]

temporary_filet::temporary_filet ( const std::string &  prefix, const std::string &  suffix  )

inline

Definition at line 26 of file tempfile.h.

temporary_filet() [2/3]

temporary_filet::temporary_filet ( const temporary_filet &  )

delete

temporary_filet() [3/3]

temporary_filet::temporary_filet ( temporary_filet &&  other )

inline

Definition at line 36 of file tempfile.h.

~temporary_filet()

temporary_filet::~temporary_filet

(

)

Definition at line 145 of file tempfile.cpp.

Member Function Documentation

operator()()

std::string temporary_filet::operator() ( ) const

inline

Definition at line 42 of file tempfile.h.

Member Data Documentation

name

std::string temporary_filet::name

protected

Definition at line 51 of file tempfile.h.

---

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

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