Loading...

Searching...

No Matches

Classes | Public Member Functions | Protected Member Functions | Protected Attributes | List of all members

reference_counting< T, empty > Class Template Reference

#include <reference_counting.h>

+ Inheritance diagram for reference_counting< T, empty >:

[フレーム]

[legend]

+ Collaboration diagram for reference_counting< T, empty >:

[フレーム]

[legend]

Classes

class dt

Public Member Functions

reference_counting ()

reference_counting (const T &other)

reference_counting (const reference_counting &other)

reference_counting & operator= (const reference_counting &other)

~reference_counting ()

void swap (reference_counting &other)

void clear ()

const T & read () const

T & write ()

dt * get_d () const

Protected Member Functions

void remove_ref (dt *old_d)

void detach ()

void copy_from (const reference_counting &other)

Protected Attributes

dt * d

Detailed Description

template<typename T, const T & empty = T::blank>
class reference_counting< T, empty >

Template Parameters: empty pointer to empty data, if unspecified use a reference to T::blank

Definition at line 21 of file reference_counting.h.

Constructor & Destructor Documentation

◆ reference_counting() [1/3]

template<typename T , const T & empty = T::blank>

reference_counting< T, empty >::reference_counting ( )

inline

Definition at line 24 of file reference_counting.h.

◆ reference_counting() [2/3]

template<typename T , const T & empty = T::blank>

reference_counting< T, empty >::reference_counting ( const T & other )

inlineexplicit

Definition at line 28 of file reference_counting.h.

◆ reference_counting() [3/3]

template<typename T , const T & empty = T::blank>

reference_counting< T, empty >::reference_counting ( const reference_counting< T, empty > & other )

inline

Definition at line 34 of file reference_counting.h.

◆ ~reference_counting()

template<typename T , const T & empty = T::blank>

reference_counting< T, empty >::~reference_counting ( )

inline

Definition at line 52 of file reference_counting.h.

Member Function Documentation

◆ clear()

template<typename T , const T & empty = T::blank>

void reference_counting< T, empty >::clear ( )

inline

Definition at line 63 of file reference_counting.h.

◆ copy_from()

template<typename T , const T & empty = T::blank>

void reference_counting< T, empty >::copy_from ( const reference_counting< T, empty > & other )

inlineprotected

Definition at line 99 of file reference_counting.h.

◆ detach()

template<class T , const T & empty>

void reference_counting< T, empty >::detach ( )

protected

Definition at line 150 of file reference_counting.h.

◆ get_d()

template<typename T , const T & empty = T::blank>

dt * reference_counting< T, empty >::get_d ( ) const

inline

Definition at line 114 of file reference_counting.h.

◆ operator=()

template<typename T , const T & empty = T::blank>

reference_counting & reference_counting< T, empty >::operator= ( const reference_counting< T, empty > & other )

inline

Definition at line 46 of file reference_counting.h.

◆ read()

template<typename T , const T & empty = T::blank>

const T & reference_counting< T, empty >::read ( ) const

inline

Definition at line 69 of file reference_counting.h.

◆ remove_ref()

template<class T , const T & empty>

void reference_counting< T, empty >::remove_ref ( dt * old_d )

protected

Definition at line 121 of file reference_counting.h.

◆ swap()

template<typename T , const T & empty = T::blank>

void reference_counting< T, empty >::swap ( reference_counting< T, empty > & other )

inline

Definition at line 58 of file reference_counting.h.

◆ write()

template<typename T , const T & empty = T::blank>

T & reference_counting< T, empty >::write ( )

inline

Definition at line 76 of file reference_counting.h.

Member Data Documentation

◆ d

template<typename T , const T & empty = T::blank>

dt* reference_counting< T, empty >::d

protected

Definition at line 93 of file reference_counting.h.

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

/home/runner/work/cbmc/cbmc/src/util/reference_counting.h