backup/EWF
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Fixed signature of `set_next' to allow redefinition.

Browse Source 
Added assertions
This commit is contained in:
Jocelyn Fiat
2013-03-21 15:47:52 +01:00
parent 1f76fd5360
commit 62d880a7c1
1 changed files with 8 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
library/server/wsf/router/filter/wsf_filter.e
View File

@@ -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