From 62d880a7c106ea95bfc417d8ed2f4fe38a7b7fc7 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 21 Mar 2013 15:47:52 +0100 Subject: [PATCH] Fixed signature of `set_next' to allow redefinition. Added assertions --- library/server/wsf/router/filter/wsf_filter.e | 10 ++++++++-- 1 file changed, 8 insertions(+), 2 deletions(-) diff --git a/library/server/wsf/router/filter/wsf_filter.e b/library/server/wsf/router/filter/wsf_filter.e index 7b6e5136..9e4ea502 100644 --- a/library/server/wsf/router/filter/wsf_filter.e +++ b/library/server/wsf/router/filter/wsf_filter.e @@ -14,7 +14,7 @@ feature -- Access feature -- Element change - set_next (a_next: WSF_FILTER) + set_next (a_next: like next) -- Set `next' to `a_next' do next := a_next @@ -26,6 +26,9 @@ feature -- Basic operations execute (req: WSF_REQUEST; res: WSF_RESPONSE) -- Execute the filter. + require + req_attached: req /= Void + res_attached: res /= Void deferred end @@ -33,6 +36,9 @@ feature {NONE} -- Implementation execute_next (req: WSF_REQUEST; res: WSF_RESPONSE) -- Execute the `next' filter. + require + req_attached: req /= Void + res_attached: res /= Void do if attached next as n then n.execute (req, res) @@ -40,7 +46,7 @@ feature {NONE} -- Implementation end note - copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + copyright: "2011-2013, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software