| 60 | |
| 61 | |
| 62 | void Context::push() { |
| 63 | Trace("pushpop") << std::string(2 * getLevel(), ' ') << "Push [to " |
| 64 | << getLevel() + 1 << "] { " << this << std::endl; |
| 65 | |
| 66 | // Create a new memory region |
| 67 | d_pCMM->push(); |
| 68 | |
| 69 | // Create a new top Scope |
| 70 | d_scopeList.push_back(new(d_pCMM) Scope(this, d_pCMM, getLevel()+1)); |
| 71 | } |
| 72 | |
| 73 | |
| 74 | void Context::pop() { |