CVC3  2.4.1
Public Member Functions | Private Member Functions
CVC3::CDMapOrderedData Class Reference

#include <cdmap_ordered.h>

Inheritance diagram for CVC3::CDMapOrderedData:
CVC3::ContextObj

List of all members.

Public Member Functions

 CDMapOrderedData (Context *context)
 CDMapOrderedData (const ContextObj &co)
- Public Member Functions inherited from CVC3::ContextObj
 ContextObj (Context *context)
 Create a new ContextObj.
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.
void restoreData (ContextObj *data)
 Restore the current object from the given data.
void setNull (void)
 Set the current object to be invalid.

Additional Inherited Members

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

Detailed Description

Definition at line 116 of file cdmap_ordered.h.


Constructor & Destructor Documentation

CVC3::CDMapOrderedData::CDMapOrderedData ( Context context)
inline

Definition at line 122 of file cdmap_ordered.h.

Referenced by makeCopy().

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

Definition at line 123 of file cdmap_ordered.h.


Member Function Documentation

ContextObj* CVC3::CDMapOrderedData::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_ordered.h.

References CDMapOrderedData().

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

Restore the current object from the given data.

Reimplemented from CVC3::ContextObj.

Definition at line 119 of file cdmap_ordered.h.

void CVC3::CDMapOrderedData::setNull ( void  )
inlineprivatevirtual

Set the current object to be invalid.

Implements CVC3::ContextObj.

Definition at line 120 of file cdmap_ordered.h.


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