From d3239ec41bb864100cc0962d572745ff1d955201 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 16 Sep 2011 18:54:16 +0200 Subject: [PATCH] added debug_output to WGI_VALUE --- .../server/ewsgi/specification/request/wgi_value.e | 11 +++++++++++ 1 file changed, 11 insertions(+) diff --git a/library/server/ewsgi/specification/request/wgi_value.e b/library/server/ewsgi/specification/request/wgi_value.e index 2919df74..3cb52624 100644 --- a/library/server/ewsgi/specification/request/wgi_value.e +++ b/library/server/ewsgi/specification/request/wgi_value.e @@ -7,6 +7,9 @@ note deferred class WGI_VALUE +inherit + DEBUG_OUTPUT + convert as_string: {READABLE_STRING_32, STRING_32} @@ -29,6 +32,14 @@ feature -- Helper deferred end +feature -- Status report + + debug_output: STRING + -- String that should be displayed in debugger to represent `Current'. + do + create Result.make_from_string (name.as_string_8 + "=" + as_string.as_string_8) + end + feature -- Query as_string: STRING_32