--- parser3/src/include/pa_exception.h	2001/03/11 08:16:32	1.7
+++ parser3/src/include/pa_exception.h	2003/11/06 08:48:59	1.41
@@ -1,46 +1,60 @@
-/*
-	Parser
-	Copyright (c) 2001 ArtLebedev Group (http://www.artlebedev.com)
-	Author: Alexander Petrosyan <paf@design.ru> (http://design.ru/paf)
+/** @file
+	Parser: exception decls.
 
-	$Id: pa_exception.h,v 1.7 2001/03/11 08:16:32 paf Exp $
+	Copyright (c) 2001-2003 ArtLebedev Group (http://www.artlebedev.com)
+	Author: Alexandr Petrosian <paf@design.ru> (http://paf.design.ru)
 */
 
 #ifndef PA_EXCEPTION_H
 #define PA_EXCEPTION_H
 
-#include <setjmp.h>
+static const char* IDENT_EXCEPTION_H="$Date: 2003/11/06 08:48:59 $";
 
-#include "pa_types.h"
-#include "pa_string.h"
+// includes
+
+#include "pa_memory.h"
+
+// forwards
+
+class String;
+
+// defines
 
 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
-	mutable jmp_buf mark;
-
-	void _throw(
-		const String *atype, const String *acode,
-		const String *aproblem_source, 
-		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; }
-
-private:
+	Exception();
+	Exception(
+		const char* atype,
+		const String* aproblem_source, 
+		const char* comment_fmt, ...);
+	Exception(const Exception& src);
+	Exception& operator =(const Exception& src);
+
+	/// extracts exception type
+	const char* type(bool can_be_empty=false) const { 
+		if(can_be_empty)
+			return ftype; 
+		else
+			return ftype?ftype:"<no type>";
+	}
+	/// extracts exception problem_source
+	const String* problem_source() const;
+	/// extracts exception comment
+	const char* comment(bool can_be_empty=false) const { 
+		const char* result=fcomment && *fcomment?fcomment:0;
+		if(can_be_empty)
+			return result; 
+		else
+			return result?result:"<no comment>";
+	}
+
+protected:
+
+	const char* ftype;
+	const String* fproblem_source;
+	char* fcomment;
 
-	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 }
-
 #endif