CVC3  2.4.1
Public Member Functions | Private Member Functions | Private Attributes
CVC3::CDO Class Reference

#include <cdo.h>

Inheritance diagram for CVC3::CDO:
CVC3::ContextObj

List of all members.

Public Member Functions

Private Member Functions

Private Attributes


Constructor & Destructor Documentation

CVC3::CDO::CDO ( const CDO< T > &  cdo) [inline, private]

Definition at line 51 of file cdo.h.

CVC3::CDO::CDO ( Context context) [inline]

Definition at line 55 of file cdo.h.

CVC3::CDO::CDO ( Context context,
const T &  data,
int  scope = -1 
) [inline]

Definition at line 57 of file cdo.h.

CVC3::CDO::~CDO ( ) [inline]

Definition at line 62 of file cdo.h.


Member Function Documentation

virtual ContextObj* CVC3::CDO::makeCopy ( ContextMemoryManager cmm) [inline, private, virtual]

Make a copy of the current object so it can be restored to its current state.

Implements CVC3::ContextObj.

Definition at line 42 of file cdo.h.

virtual void CVC3::CDO::restoreData ( ContextObj data) [inline, private, virtual]

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 44 of file cdo.h.

virtual void CVC3::CDO::setNull ( void  ) [inline, private, virtual]

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 47 of file cdo.h.

CDO<T>& CVC3::CDO::operator= ( const CDO< T > &  cdo) [inline, private]

Definition at line 52 of file cdo.h.

void CVC3::CDO::set ( const T &  data,
int  scope = -1 
) [inline]
const T& CVC3::CDO::get ( ) const [inline]
CVC3::CDO::operator T ( ) [inline]

Definition at line 65 of file cdo.h.

CDO<T>& CVC3::CDO::operator= ( const T &  data) [inline]

Definition at line 66 of file cdo.h.


Member Data Documentation

T CVC3::CDO::d_data [private]

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