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

Added notion of mapping factory, so one can implement a handler without having to implement new_mapping

Browse Source 
Added filter context handler
Added WSF_STARTS_WITH_ROUTING_HANDLER and WSF_URI_ROUTING_HANDLER (in addition to the uri template version)
This commit is contained in:
Jocelyn Fiat
2012-10-04 14:31:03 +02:00
parent f7615edec9
commit 2f6a6cbf5f
11 changed files with 148 additions and 21 deletions
Download Patch File Download Diff File Expand all files Collapse all files

21
library/server/wsf/router/wsf_router.e
View File

@@ -59,17 +59,17 @@ feature -- Mapping
feature -- Mapping handler
handle (a_resource: READABLE_STRING_8; h: WSF_HANDLER)
-- Map the mapping associated to handler `h' for resource `a_resource'
handle (a_resource: READABLE_STRING_8; f: WSF_ROUTER_MAPPING_FACTORY)
-- Map the mapping created by factory `f' for resource `a_resource'
do
handle_with_request_methods (a_resource, h, Void)
handle_with_request_methods (a_resource, f, Void)
end
handle_with_request_methods (a_resource: READABLE_STRING_8; h: WSF_HANDLER; rqst_methods: detachable WSF_ROUTER_METHODS)
-- Map the mapping associated to handler `h' for resource `a_resource'
handle_with_request_methods (a_resource: READABLE_STRING_8; f: WSF_ROUTER_MAPPING_FACTORY; rqst_methods: detachable WSF_ROUTER_METHODS)
-- Map the mapping created by factory `f' for resource `a_resource'
-- and only for request methods `rqst_methods'
do
map_with_request_methods (h.new_mapping (a_resource), rqst_methods)
map_with_request_methods (f.new_mapping (a_resource), rqst_methods)
end
feature -- Access
@@ -220,6 +220,15 @@ feature -- Request methods helper
Result.lock
end
methods_get_put_delete: WSF_ROUTER_METHODS
once ("THREAD")
create Result.make (3)
Result.enable_get
Result.enable_put
Result.enable_delete
Result.lock
end
methods_head_get: WSF_ROUTER_METHODS
once ("THREAD")
create Result.make (2)