CVC3  2.4.1
Public Member Functions | Private Member Functions | List of all members
CVC3::CDMapData Class Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDMapData:
CVC3::ContextObj

Public Member Functions

 CDMapData (Context *context)
 
 CDMapData (const ContextObj &co)
 
- Public Member Functions inherited from CVC3::ContextObj
 ContextObj (Context *context)
 Create a new ContextObj. More...
 
virtual ~ContextObj ()
 
int level () const
 
bool isCurrent (int scope=-1) const
 
void makeCurrent (int scope=-1)
 
void * operator new (size_t size, MemoryManager *mm)
 
void operator delete (void *pMem, MemoryManager *mm)
 
void * operator new (size_t size, bool b)
 
void operator delete (void *pMem, bool b)
 
void operator delete (void *)
 

Private Member Functions

ContextObjmakeCopy (ContextMemoryManager *cmm)
 Make a copy of the current object so it can be restored to its current state. More...
 
void restoreData (ContextObj *data)
 Restore the current object from the given data. More...
 
void setNull (void)
 Set the current object to be invalid. More...
 

Additional Inherited Members

- Protected Member Functions inherited from CVC3::ContextObj
 ContextObj (const ContextObj &co)
 Copy constructor (defined mainly for debugging purposes) More...
 
ContextObjoperator= (const ContextObj &co)
 Assignment operator (defined mainly for debugging purposes) More...
 
const ContextObjgetRestore ()
 
ContextMemoryManagergetCMM ()
 Return our name (for debugging) More...
 

Detailed Description

Definition at line 116 of file cdmap.h.

Constructor & Destructor Documentation

CVC3::CDMapData::CDMapData ( Context context)
inline

Definition at line 122 of file cdmap.h.

Referenced by makeCopy().

CVC3::CDMapData::CDMapData ( const ContextObj co)
inline

Definition at line 123 of file cdmap.h.

Member Function Documentation

ContextObj* CVC3::CDMapData::makeCopy ( ContextMemoryManager cmm)
inlineprivatevirtual

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

Implements CVC3::ContextObj.

Definition at line 117 of file cdmap.h.

References CDMapData().

void CVC3::CDMapData::restoreData ( ContextObj data)
inlineprivatevirtual

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 119 of file cdmap.h.

void CVC3::CDMapData::setNull ( void  )
inlineprivatevirtual

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 120 of file cdmap.h.


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