CVC3::CDMapData Class Reference

#include <cdmap.h>

Inheritance diagram for CVC3::CDMapData:

[legend]Collaboration diagram for CVC3::CDMapData:

[legend]List of all members.

Public Member Functions

• CDMapData (Context *context)
• CDMapData (const ContextObj &co)

Private Member Functions

• ContextObj * makeCopy (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.
  

---

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

)

[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 117 of file cdmap.h.

References CDMapData().

void CVC3::CDMapData::restoreData

(

ContextObj *

data

)

[inline, private, virtual]

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

)

[inline, private, virtual]

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:

• cdmap.h

---