diff options
author | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
---|---|---|
committer | Clark Barrett <barrett@cs.nyu.edu> | 2010-03-13 01:57:01 +0000 |
commit | 7eff5dfa38e016bb759a5daf5b0afef0a057eb47 (patch) | |
tree | fefe8fe44695328e580595fa7353049707672b56 /src/context/context.cpp | |
parent | c8e9b1d6422b56476a2efb3fbaf19bce66de4c2b (diff) |
Fix for bug 45
Diffstat (limited to 'src/context/context.cpp')
-rw-r--r-- | src/context/context.cpp | 22 |
1 files changed, 11 insertions, 11 deletions
diff --git a/src/context/context.cpp b/src/context/context.cpp index 8e87741b5..d2e2bfa1b 100644 --- a/src/context/context.cpp +++ b/src/context/context.cpp @@ -175,17 +175,7 @@ ContextObj* ContextObj::restoreAndContinue() { } -ContextObj::ContextObj(Context* pContext) : - d_pContextObjRestore(NULL) { - - Assert(pContext != NULL, "NULL context pointer"); - - d_pScope = pContext->getBottomScope(); - d_pScope->addToChain(this); -} - - -ContextObj::~ContextObj() throw(AssertionException) { +void ContextObj::destroy() throw(AssertionException) { for(;;) { if(next() != NULL) { next()->prev() = prev(); @@ -199,6 +189,16 @@ ContextObj::~ContextObj() throw(AssertionException) { } +ContextObj::ContextObj(Context* pContext) : + d_pContextObjRestore(NULL) { + + Assert(pContext != NULL, "NULL context pointer"); + + d_pScope = pContext->getBottomScope(); + d_pScope->addToChain(this); +} + + ContextNotifyObj::ContextNotifyObj(Context* pContext, bool preNotify) { if(preNotify) { pContext->addNotifyObjPre(this); |