--- parser3/src/include/pa_pool.h	2001/02/22 11:08:06	1.24
+++ parser3/src/include/pa_pool.h	2001/03/13 11:15:03	1.30
@@ -1,5 +1,9 @@
 /*
-  $Id: pa_pool.h,v 1.24 2001/02/22 11:08:06 paf Exp $
+	Parser
+	Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)
+	Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)
+
+	$Id: pa_pool.h,v 1.30 2001/03/13 11:15:03 paf Exp $
 */
 
 #ifndef PA_POOL_H
@@ -7,18 +11,21 @@
 
 #include <stddef.h>
 
-//class String;
 class Exception;
-class Temp_exception_change;
+class Temp_exception;
 
 class Pool {
-	friend Temp_exception_change;
+	friend Temp_exception;
 public:
 
-	Pool() : fexception(0) {}
+	Pool() : 
+		fexception_to_trhow(0),
+		fpending_exception(0) {
+	}
 	~Pool() {}
 
-	Exception& exception() const { return *fexception; }
+	Exception& exception_to_throw() const { return *fexception_to_throw; }
+	//Exception *pending_exception() const { return fpending_exception; }
 
 	void *malloc(size_t size) {
 		return check(real_malloc(size), size);
@@ -27,6 +34,16 @@ public:
 		return check(real_calloc(size), size);
 	}
 
+	void maybe_rethrow_pending_exception() {
+		if(fpending_exception)
+			fexception_to_throw._throw(
+				fpending_exception.type(),
+				fpending_exception.code(),
+				fpending_exception.problem_source(),
+				fpending_exception.comment()
+			);
+	}
+
 private: // implementation defined
 
     void *real_malloc(size_t size);
@@ -52,18 +69,22 @@ protected: // exception handling
 	// exception replacement mechanism is 'protected' from direct usage
 	// Temp_exception_change object enforces paired set/restore
 	Exception *set_exception(Exception *e){
-		Exception *r=fexception;
-		fexception=e;
+		Exception *r=fexception_to_throw;
+		fexception_to_throw=e;
 		return r;
 	}
 	void restore_exception(Exception *e) {
-		fexception=e;
+		fpending_exception=fexception_to_throw.is_handled()?0:fexception_to_throw;
+		fexception_to_throw=e;
 	}
 
 private:
 
 	// current request's exception object
-	Exception *fexception;
+	Exception *fexception_to_throw;
+
+	// just catched request's exception object
+	Exception *fpending_exception;
 
 private: //disabled
 
@@ -87,38 +108,58 @@ public:
 
 	void *malloc(size_t size) const { return fpool.malloc(size); }
 	void *calloc(size_t size) const { return fpool.calloc(size); }
-	Exception& exception() const { return fpool.exception(); }
 };
 #define NEW new(pool())
 
-class Temp_exception_change {
-	Pool pool;
+class Temp_exception {
+	Pool& fpool;
 	Exception *saved_exception;
 public:
-	Temp_exception_change(Pool& apool, Exception& exception) : 
-		pool(apool),
+	Temp_exception(Pool& apool, Exception& exception) : 
+		fpool(apool),
 		saved_exception(apool.set_exception(&exception)) {
 	}
-	~Temp_exception_change() { 
-		pool.restore_exception(saved_exception); 
+	~Temp_exception() { 
+		fpool.restore_exception(saved_exception); 
 	}
+public:
+	bool triggered;
 };
 
-#define TRY \
+#define XTRY(p) \
 	{ \
 		Exception temp_exception; \
-		Temp_exception_change le(pool(), temp_exception); \
+		Temp_exception le(p, temp_exception); \
 		if(setjmp(temp_exception.mark)==0)
-
-#define THROW exception()._throw
-#define CATCH(e) \
+#define XTHROW(p) p.exception_to_throw()._throw
+#define XCATCH(e) \
 		else{ \
 			Exception& e=temp_exception;
-
-#define END_CATCH \
+#define XFINALLY(p) \
 		} \
+		p.maybe_rethrow_pending_exception();
+#define XEND_TRY \
 	}
+
 // usage:
-//   TRY { ...; if(?) RAISE(?); ...; } CATCH(e) { catch-code e.comment() } END_CATCH
+//   TRY { ...; if(?) RAISE(?); ...; } CATCH(e) { catch-code e.comment() } END_TRY
+
+#define TRY XTRY(pool())
+#define THROW XTHROW(pool())
+#define CATCH(e) XCATCH(e)
+#define FINALLY(p) XFINALLY(pool())
+#define END_TRY XEND_TRY
+
+#define PTRY XTRY(pool)
+#define PTHROW XTHROW(pool)
+#define PCATCH(e) XCATCH(e)
+#define PINALLY(p) XFINALLY(pool)
+#define PEND_TRY XEND_TRY
+
+#define RTRY XTRY(r.pool())
+#define RTHROW XTHROW(r.pool())
+#define RCATCH(e) XCATCH(e)
+#define RFINALLY(p) XFINALLY(r.pool())
+#define REND_TRY XEND_TRY
 
 #endif