--- parser3/src/include/pa_exception.h	2001/01/30 13:43:42	1.3
+++ parser3/src/include/pa_exception.h	2001/03/11 08:16:32	1.7
@@ -1,5 +1,9 @@
 /*
-  $Id: pa_exception.h,v 1.3 2001/01/30 13:43:42 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.7 2001/03/11 08:16:32 paf Exp $
 */
 
 #ifndef PA_EXCEPTION_H
@@ -17,26 +21,26 @@ public:
 	// 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() { return ftype; }
-	const String *code() { return fcode; }
-	const String *problem_source() { return fproblem_source; }
-	const char *comment() { return fcomment[0]?fcomment:0; }
+	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; }
 
 private:
 
-	const String *ftype, *fcode, *fproblem_source;
-	char fcomment[MAX_STRING];
+	mutable const String *ftype, *fcode, *fproblem_source;
+	mutable 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