From 4143f662e0c5ef311e98dbd554500b98cd02ecdb Mon Sep 17 00:00:00 2001 From: Morgan Deters Date: Tue, 6 Apr 2010 06:39:01 +0000 Subject: * Add some protected ContextObj accessors for ContextObj-derived classes: + Context* getContext() -- gets the context + ContextMemoryManager* getCMM() -- gets the CMM + int getLevel() -- the scope level of the ContextObj's most recent update + bool isCurrent() -- true iff the most recent update is the current top level In particular, the ContextObj::getCMM() call cleans up by TheoryUF's ECData::addPredecessor() function substantially (re: code review bug #64). * Fix serious bugs in context operations that corrupted the ContextObj linked lists. Closes bug #85. * Identified a bug in the way objects of the "Link" class are allocated; see bug #96. * Re-enable context white-box tests that ensure proper links in linked lists. Closes bug #86. * Re-enable CDMap<>::emptyTrash(). Closes bug #87. * Add a tracing option (-t foo or --trace foo) to the driver to enable Trace("foo") output stream. -d foo implies -t foo. * Minor clean-up of some TheoryUF code; addition of some documentation (re: code review bug #64). * Address some things that caused Doxygen discomfort. * Address an issue raised in NodeManager's code review (bug #65). * Remove an inaccurate comment in Attribute code (re: code review bug #61). --- src/context/context_mm.cpp | 3 +++ 1 file changed, 3 insertions(+) (limited to 'src/context/context_mm.cpp') diff --git a/src/context/context_mm.cpp b/src/context/context_mm.cpp index ab81c7486..b0b015681 100644 --- a/src/context/context_mm.cpp +++ b/src/context/context_mm.cpp @@ -85,6 +85,9 @@ void* ContextMemoryManager::newData(size_t size) { AlwaysAssert(d_nextFree <= d_endChunk, "Request is bigger than memory chunk size"); } + Debug("context") << "ContextMemoryManager::newData(" << size + << ") returning " << res << " at level " + << d_chunkList.size() << std::endl; return res; } -- cgit v1.2.3