CBMC
Public Member Functions | Protected Attributes | List of all members
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() ( void  ) 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: