CVC3
|
#include <memory_manager_chunks.h>
Inherits CVC3::MemoryManager.
Public Member Functions | |
MemoryManagerChunks (unsigned dataSize, unsigned chunkSize=1024) | |
~MemoryManagerChunks () | |
void * | newData (size_t size) |
void | deleteData (void *d) |
![]() | |
virtual | ~MemoryManager () |
Private Member Functions | |
void | newChunk () |
Private Attributes | |
unsigned | d_dataSize |
unsigned | d_chunkSize |
unsigned | d_chunkSizeBytes |
std::vector< char * > | d_freeList |
std::vector< char * > | d_chunkList |
char * | d_nextFree |
char * | d_endChunk |
Definition at line 42 of file memory_manager_chunks.h.
|
inline |
Definition at line 64 of file memory_manager_chunks.h.
|
inline |
Definition at line 69 of file memory_manager_chunks.h.
References d_chunkList.
|
inlineprivate |
Definition at line 55 of file memory_manager_chunks.h.
References d_chunkList, d_chunkSizeBytes, d_endChunk, d_nextFree, and FatalAssert.
Referenced by newData().
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 76 of file memory_manager_chunks.h.
References d_dataSize, d_endChunk, d_freeList, d_nextFree, DebugAssert, and newChunk().
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 93 of file memory_manager_chunks.h.
References d_freeList.
|
private |
Definition at line 44 of file memory_manager_chunks.h.
Referenced by newData().
|
private |
Definition at line 45 of file memory_manager_chunks.h.
|
private |
Definition at line 46 of file memory_manager_chunks.h.
Referenced by newChunk().
|
private |
Definition at line 47 of file memory_manager_chunks.h.
Referenced by deleteData(), and newData().
|
private |
Definition at line 48 of file memory_manager_chunks.h.
Referenced by newChunk(), and ~MemoryManagerChunks().
|
private |
Definition at line 50 of file memory_manager_chunks.h.
Referenced by newChunk(), and newData().
|
private |
Definition at line 52 of file memory_manager_chunks.h.
Referenced by newChunk(), and newData().