CVC3
2.4.1
|
CVC3::SmartCDO::RefCDO::RefCDO | ( | Context * | context | ) | [inline, private] |
Definition at line 78 of file smartcdo.h.
CVC3::SmartCDO::RefCDO::RefCDO | ( | Context * | context, |
const U & | cdo, | ||
int | scope = -1 |
||
) | [inline, private] |
Definition at line 81 of file smartcdo.h.
CVC3::SmartCDO::RefCDO::~RefCDO | ( | ) | [inline, private] |
Definition at line 85 of file smartcdo.h.
void CVC3::SmartCDO::RefCDO::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::RefCDO::RefNotifyObj::notify(), CVC3::SmartCDO::~SmartCDO(), and CVC3::SmartCDO::operator=().
friend class SmartCDO [friend] |
Definition at line 56 of file smartcdo.h.
friend class RefNotifyObj [friend] |
Definition at line 76 of file smartcdo.h.
unsigned CVC3::SmartCDO::RefCDO::d_refCount [private] |
Definition at line 57 of file smartcdo.h.
Referenced by CVC3::SmartCDO::RefCDO< U >::kill(), CVC3::SmartCDO::SmartCDO(), CVC3::SmartCDO::~SmartCDO(), and CVC3::SmartCDO::operator=().
CDO<U> CVC3::SmartCDO::RefCDO::d_cdo [private] |
Definition at line 58 of file smartcdo.h.
Referenced by CVC3::SmartCDO::set(), and CVC3::SmartCDO::get().
bool CVC3::SmartCDO::RefCDO::d_delay [private] |
Whether to delay our own deletion.
Definition at line 59 of file smartcdo.h.
Referenced by CVC3::SmartCDO::RefCDO::RefNotifyObj::notifyPre(), CVC3::SmartCDO::RefCDO::RefNotifyObj::notify(), and CVC3::SmartCDO::RefCDO< U >::kill().
RefNotifyObj* CVC3::SmartCDO::RefCDO::d_notifyObj [private] |
Definition at line 74 of file smartcdo.h.
Referenced by CVC3::SmartCDO::RefCDO< U >::~RefCDO().