--- parser3/src/include/pa_exception.h	2001/02/21 14:59:41	1.4
+++ parser3/src/include/pa_exception.h	2001/03/13 11:15:03	1.8
@@ -1,5 +1,9 @@
 /*
-  $Id: pa_exception.h,v 1.4 2001/02/21 14:59:41 paf Exp $
+	Parser
+	Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)
+	Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)
+
+	$Id: pa_exception.h,v 1.8 2001/03/13 11:15:03 paf Exp $
 */
 
 #ifndef PA_EXCEPTION_H
@@ -13,29 +17,36 @@
 class Exception {
 public:
 
+	Exception() : fhandled(false) {
+	}
+
 	// 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;
+	mutable jmp_buf mark;
 
-	void raise(
+	void _throw(
 		const String *atype, const String *acode,
 		const String *aproblem_source, 
-		const char *comment_fmt, ...);
+		const char *comment_fmt, ...) const;
+
+	const String *type() const { return ftype; }
+	const String *code() const { return fcode; }
+	const String *problem_source() const { return fproblem_source; }
+	const char *comment() const { return fcomment[0]?fcomment:0; }
 
-	const String *type() { return ftype; }
-	const String *code() { return fcode; }
-	const String *problem_source() { return fproblem_source; }
-	const char *comment() { return fcomment[0]?fcomment:0; }
+	bool is_handled() { return fhandled; }
+	void set_handled() { fhandled=true; }
 
 private:
 
-	const String *ftype, *fcode, *fproblem_source;
-	char fcomment[MAX_STRING];
+	bool fhandled;
+	mutable const String *ftype, *fcode, *fproblem_source;
+	mutable char fcomment[MAX_STRING];
 };
 
-#define EXCEPTION_TRY(e) (setjmp((e).mark)==0)
+//#define EXCEPTION_TRY(e) (setjmp((e).mark)==0)
 // usage:
 //   if(EXCEPTION_TRY(e)) { ...; if(?) e.raise(?); ...; } else { catch-code }