--- parser3/src/include/pa_exception.h	2001/01/30 13:07:31	1.2
+++ parser3/src/include/pa_exception.h	2001/01/30 13:43:42	1.3
@@ -1,5 +1,5 @@
 /*
-  $Id: pa_exception.h,v 1.2 2001/01/30 13:07:31 paf Exp $
+  $Id: pa_exception.h,v 1.3 2001/01/30 13:43:42 paf Exp $
 */
 
 #ifndef PA_EXCEPTION_H
@@ -14,10 +14,11 @@ class Exception {
 public:
 
 	// address for long jump to jump to 
+	// regretfully public:
+	//   can't make local unless sure of inlining
+	//   for to-die stack frame ruins it all
 	jmp_buf mark;
 
-	Exception();
-	static void die(char *acomment);
 	void raise(
 		const String *atype, const String *acode,
 		const String *aproblem_source, 
@@ -34,6 +35,8 @@ private:
 	char fcomment[MAX_STRING];
 };
 
-#define EXCEPTION_TRY(e) (setjmp(e.mark)==0)
+// usage:
+//   if(EXCEPTION_TRY(e)) { ...; if(?) e.raise(?); ...; } else { catch-code }
+#define EXCEPTION_TRY(e) (setjmp((e).mark)==0)
 
 #endif