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

Now WSF_FILTER_HANDLER is a handler and has formal generic G constrained to WSF_HANDLER

Browse Source 
This eases implementation of potential descendants.
This commit is contained in:
Jocelyn Fiat
2013-03-21 15:47:10 +01:00
parent 19df76c332
commit 1f76fd5360
5 changed files with 11 additions and 43 deletions
Download Patch File Download Diff File Expand all files Collapse all files

12
library/server/wsf/router/support/uri_template/helpers/wsf_uri_template_filter_handler.e
View File

@@ -8,18 +8,10 @@ deferred class
WSF_URI_TEMPLATE_FILTER_HANDLER
inherit
WSF_FILTER_HANDLER
redefine
next
end
WSF_FILTER_HANDLER [WSF_URI_TEMPLATE_HANDLER]
WSF_URI_TEMPLATE_HANDLER
feature -- Access
next: detachable WSF_URI_TEMPLATE_HANDLER
-- Next handler
feature -- Execution
execute_next (req: WSF_REQUEST; res: WSF_RESPONSE)
@@ -30,7 +22,7 @@ feature -- Execution
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