307 // called in the constructor of HandleMarkCleaner |
307 // called in the constructor of HandleMarkCleaner |
308 void push(); |
308 void push(); |
309 // called in the destructor of HandleMarkCleaner |
309 // called in the destructor of HandleMarkCleaner |
310 void pop_and_restore(); |
310 void pop_and_restore(); |
311 // overloaded operators |
311 // overloaded operators |
312 void* operator new(size_t size); |
312 void* operator new(size_t size) throw(); |
313 void* operator new [](size_t size); |
313 void* operator new [](size_t size) throw(); |
314 void operator delete(void* p); |
314 void operator delete(void* p); |
315 void operator delete[](void* p); |
315 void operator delete[](void* p); |
316 }; |
316 }; |
317 |
317 |
318 //------------------------------------------------------------------------------------------------------------------------ |
318 //------------------------------------------------------------------------------------------------------------------------ |