From 4bb8a71c1b00a863bf1a3236e7bd0ad317840978 Mon Sep 17 00:00:00 2001
From: Jocelyn Fiat <github@djoce.net>
Date: Tue, 14 Feb 2012 18:01:17 +0100
Subject: [PATCH] Added DEBUG_OUTPUT to ERROR, since this is convenient during
 debugging

---
 library/error/src/error.e | 12 ++++++++++++
 1 file changed, 12 insertions(+)

diff --git a/library/error/src/error.e b/library/error/src/error.e
index 5687ecac..8ab78c85 100644
--- a/library/error/src/error.e
+++ b/library/error/src/error.e
@@ -8,6 +8,11 @@ note
 deferred class
 	ERROR
 
+inherit
+	ANY
+
+	DEBUG_OUTPUT
+
 feature -- Access
 
 	code: INTEGER
@@ -47,6 +52,13 @@ feature -- String representation
 			end
 		end
 
+feature -- Status report
+
+	debug_output: STRING
+		do
+			Result := string_representation.as_string_8
+		end
+
 feature -- Change
 
 	set_parent (a_parent: like parent)