CVC3::SmartCDO< T >::RefCDO< U > Class Template Reference

Inheritance diagram for CVC3::SmartCDO< T >::RefCDO< U >:

Inheritance graph
[legend]
Collaboration diagram for CVC3::SmartCDO< T >::RefCDO< U >:

Collaboration graph
[legend]
List of all members.

Private Member Functions

Private Attributes

Friends

Classes


Detailed Description

template<class T>
template<class U>
class CVC3::SmartCDO< T >::RefCDO< U >

Definition at line 55 of file smartcdo.h.


Constructor & Destructor Documentation

template<class T>
template<class U>
CVC3::SmartCDO< T >::RefCDO< U >::RefCDO ( Context context  )  [inline, private]

Definition at line 78 of file smartcdo.h.

template<class T>
template<class U>
CVC3::SmartCDO< T >::RefCDO< U >::RefCDO ( Context context,
const U &  cdo,
int  scope = -1 
) [inline, private]

Definition at line 81 of file smartcdo.h.

template<class T>
template<class U>
CVC3::SmartCDO< T >::RefCDO< U >::~RefCDO (  )  [inline, private]

Definition at line 85 of file smartcdo.h.


Member Function Documentation

template<class T>
template<class U>
void CVC3::SmartCDO< T >::RefCDO< U >::kill (  )  [inline, private]

Delete itself, unless delayed (then we'll be called again later).

Definition at line 87 of file smartcdo.h.

Referenced by CVC3::SmartCDO< unsigned >::operator=(), and CVC3::SmartCDO< unsigned >::~SmartCDO().


Friends And Related Function Documentation

template<class T>
template<class U>
friend class SmartCDO [friend]

Definition at line 56 of file smartcdo.h.

template<class T>
template<class U>
friend class RefNotifyObj [friend]

Definition at line 76 of file smartcdo.h.


Member Data Documentation

template<class T>
template<class U>
unsigned CVC3::SmartCDO< T >::RefCDO< U >::d_refCount [private]

Definition at line 57 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< unsigned >::kill(), CVC3::SmartCDO< unsigned >::operator=(), CVC3::SmartCDO< unsigned >::SmartCDO(), and CVC3::SmartCDO< unsigned >::~SmartCDO().

template<class T>
template<class U>
CDO<U> CVC3::SmartCDO< T >::RefCDO< U >::d_cdo [private]

Definition at line 58 of file smartcdo.h.

Referenced by CVC3::SmartCDO< unsigned >::get(), and CVC3::SmartCDO< unsigned >::set().

template<class T>
template<class U>
bool CVC3::SmartCDO< T >::RefCDO< U >::d_delay [private]

Whether to delay our own deletion.

Definition at line 59 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< unsigned >::kill().

template<class T>
template<class U>
RefNotifyObj* CVC3::SmartCDO< T >::RefCDO< U >::d_notifyObj [private]

Definition at line 74 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< unsigned >::~RefCDO().


The documentation for this class was generated from the following file:
Generated on Tue Jul 3 14:37:35 2007 for CVC3 by  doxygen 1.5.1