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

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

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

[legend]List of all members.

Private Member Functions

• RefNotifyObj (RefCDO< U > *ref, Context *context)

  Constructor.
  

• void notifyPre ()
• void notify ()

Private Attributes

• RefCDO< U > * d_ref

Friends

• class RefCDO

---

Detailed Description

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

Definition at line 61 of file smartcdo.h.

---

Constructor & Destructor Documentation

template<class T>

template<class U>

CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::RefNotifyObj	(	RefCDO< U > *	ref,
		Context *	context
	)			[inline, private]

Constructor.

Definition at line 65 of file smartcdo.h.

---

Member Function Documentation

template<class T>

template<class U>

void CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notifyPre

(

void

)

[inline, private, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 67 of file smartcdo.h.

References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.

template<class T>

template<class U>

void CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notify

(

void

)

[inline, private, virtual]

Reimplemented from CVC3::ContextNotifyObj.

Definition at line 68 of file smartcdo.h.

References CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref.

---

Friends And Related Function Documentation

template<class T>

template<class U>

friend class RefCDO [friend]

Definition at line 62 of file smartcdo.h.

---

Member Data Documentation

template<class T>

template<class U>

RefCDO<U>* CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::d_ref [private]

Definition at line 63 of file smartcdo.h.

Referenced by CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notify(), and CVC3::SmartCDO< T >::RefCDO< U >::RefNotifyObj::notifyPre().

---

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

• smartcdo.h

---