--- parser3/src/include/pa_pool.h 2001/03/10 15:44:30 1.26 +++ parser3/src/include/pa_pool.h 2001/03/19 16:44:00 1.35 @@ -1,5 +1,9 @@ -/* - $Id: pa_pool.h,v 1.26 2001/03/10 15:44:30 paf Exp $ +/** @file + Parser + Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com) + Author: Alexander Petrosyan (http://design.ru/paf) + + $Id: pa_pool.h,v 1.35 2001/03/19 16:44:00 paf Exp $ */ #ifndef PA_POOL_H @@ -7,10 +11,17 @@ #include -//class String; class Exception; class Temp_exception; +/** + Pool mechanizm allows users not to free up allocated memory, + leaving that problem to 'pools'. + + Also holds Exception object, which can be temporary set using + Temp_exception auto-object. +*/ + class Pool { friend Temp_exception; public: @@ -18,11 +29,14 @@ public: Pool() : fexception(0) {} ~Pool() {} + /// current exception object of the pool Exception& exception() const { return *fexception; } + /// allocates some bytes on pool void *malloc(size_t size) { return check(real_malloc(size), size); } + /// allocates some bytes clearing them with zeros void *calloc(size_t size) { return check(real_calloc(size), size); } @@ -34,7 +48,7 @@ private: // implementation defined private: - // checks whether mem allocated OK. throws exception otherwise + /// checks whether mem allocated OK. throws exception otherwise void *check(void *ptr, size_t size) { if(ptr) return ptr; @@ -44,13 +58,13 @@ private: // never reached return 0; } - // throws proper exception + /// throws proper exception void fail(size_t size) const; -protected: // exception handling +private: // exception handling // exception replacement mechanism is 'protected' from direct usage - // Temp_exception_change object enforces paired set/restore + // Temp_exception object enforces paired set/restore Exception *set_exception(Exception *e){ Exception *r=fexception; fexception=e; @@ -71,6 +85,11 @@ private: //disabled Pool& operator = (const Pool&) { return *this; } }; +/** + Base for all classes that are allocated in 'pools'. + + Holds Pool object. Contains useful wrappers to it's methods. +*/ class Pooled { // the pool i'm allocated on Pool& fpool; @@ -83,43 +102,77 @@ public: Pooled(Pool& apool) : fpool(apool) { } + /// my pool Pool& pool() const { return fpool; } + /// useful wrapper around pool void *malloc(size_t size) const { return fpool.malloc(size); } + /// useful wrapper around pool void *calloc(size_t size) const { return fpool.calloc(size); } + /// useful wrapper around pool Exception& exception() const { return fpool.exception(); } }; +/// useful macro for creating objects on current Pooled object Pooled::pool() #define NEW new(pool()) +/** + Auto-object used for temporary changing Pool's exception(). + + Use by with these macros: + \code + TRY { + ... + if(?) + THROW(?); + ...; + } CATCH(e) { + code, using e fields + e.comment() + } + END_CATCH + \endcode +*/ class Temp_exception { - Pool pool; + Pool& fpool; Exception *saved_exception; public: Temp_exception(Pool& apool, Exception& exception) : - pool(apool), + fpool(apool), saved_exception(apool.set_exception(&exception)) { } ~Temp_exception() { - pool.restore_exception(saved_exception); + fpool.restore_exception(saved_exception); } }; -#define TRY \ +#define XTRY(pool) \ { \ Exception temp_exception; \ - Temp_exception le(pool(), temp_exception); \ + Temp_exception le(pool, temp_exception); \ if(setjmp(temp_exception.mark)==0) -#define THROW exception()._throw -#define POOL_THROW pool.exception()._throw -#define CATCH(e) \ +#define XTHROW(exception) exception._throw +#define XCATCH(e) \ else{ \ Exception& e=temp_exception; -#define END_CATCH \ +#define XEND_CATCH \ } \ } -// usage: -// TRY { ...; if(?) RAISE(?); ...; } CATCH(e) { catch-code e.comment() } END_CATCH + +//@{ +/// @see Temp_exception +#define TRY XTRY(pool()) +#define THROW XTHROW(exception()) +#define CATCH(e) XCATCH(e) +#define END_CATCH XEND_CATCH + +#define PTRY XTRY(pool) +#define PTHROW XTHROW(pool.exception()) +#define PCATCH(e) XCATCH(e) +#define PEND_CATCH XEND_CATCH + +#define RTHROW XTHROW(r.pool().exception()) +//@} #endif