CVC3
2.4.1
|
#include <memory_manager_context.h>
Public Member Functions | |
ContextMemoryManager () | |
~ContextMemoryManager () | |
void * | newData (size_t size) |
void | deleteData (void *d) |
void | push () |
void | pop () |
unsigned | getMemory (int verbosity) |
![]() | |
virtual | ~MemoryManager () |
Static Public Member Functions | |
static void | garbageCollect (void) |
static unsigned | getStaticMemory (int verbosity) |
Private Member Functions | |
void | newChunk () |
Private Attributes | |
std::vector< char * > | d_chunkList |
char * | d_nextFree |
char * | d_endChunk |
unsigned | d_indexChunkList |
std::vector< char * > | d_nextFreeStack |
std::vector< char * > | d_endChunkStack |
std::vector< unsigned > | d_indexChunkListStack |
Static Private Attributes | |
static std::vector< char * > | s_freePages |
Author: Clark Barrett
Created: Thu Aug 3 16:41:35 2006
Stack-based memory manager
Definition at line 44 of file memory_manager_context.h.
|
inline |
Definition at line 81 of file memory_manager_context.h.
References CVC3::chunkSizeBytes, and FatalAssert.
Referenced by getMemory().
|
inline |
Definition at line 97 of file memory_manager_context.h.
|
inlineprivate |
Definition at line 63 of file memory_manager_context.h.
References CVC3::chunkSizeBytes, d_indexChunkList, DebugAssert, and FatalAssert.
Referenced by newData().
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 104 of file memory_manager_context.h.
References DebugAssert, and newChunk().
Referenced by CVC3::Scope::operator new().
|
inlinevirtual |
Implements CVC3::MemoryManager.
Definition at line 116 of file memory_manager_context.h.
|
inline |
Definition at line 118 of file memory_manager_context.h.
|
inline |
Definition at line 124 of file memory_manager_context.h.
References d_indexChunkList.
Referenced by CVC3::Context::pop().
|
inlinestatic |
Definition at line 137 of file memory_manager_context.h.
Referenced by CVC3::Context::~Context().
|
inline |
Definition at line 144 of file memory_manager_context.h.
References CVC3::chunkSizeBytes, ContextMemoryManager(), CVC3::MemoryTracker::getVec(), and CVC3::MemoryTracker::print().
|
inlinestatic |
Definition at line 160 of file memory_manager_context.h.
References CVC3::chunkSizeBytes, CVC3::MemoryTracker::getVec(), and CVC3::MemoryTracker::print().
Referenced by CVC3::ContextManager::getMemory().
|
staticprivate |
Definition at line 45 of file memory_manager_context.h.
|
private |
Definition at line 46 of file memory_manager_context.h.
|
private |
Definition at line 49 of file memory_manager_context.h.
|
private |
Definition at line 51 of file memory_manager_context.h.
|
private |
Definition at line 53 of file memory_manager_context.h.
Referenced by newChunk(), and pop().
|
private |
Definition at line 56 of file memory_manager_context.h.
|
private |
Definition at line 58 of file memory_manager_context.h.
|
private |
Definition at line 60 of file memory_manager_context.h.