backup/EWF

Files

Jocelyn Fiat 3f237c737d mimic design of WSF_ROUTED_SERVICE for WSF_FILTERED_SERVICE

and update the filter example to make it simpler and reuse code.

2013-03-19 22:00:25 +01:00

documentation

Sixth round of contracts for non-Void-safe users

2013-03-15 14:50:59 +00:00

filter

mimic design of WSF_ROUTED_SERVICE for WSF_FILTERED_SERVICE

2013-03-19 22:00:25 +01:00

misc

…

support

added WSF_..._ROUTER_HELPER and made the previous WSF_..._ROUTED_SERVICE obsolete

2013-03-19 17:17:14 +01:00

README.md

…

wsf_agent_handler.e

Added deferred WSF_AGENT_HANDLER

2013-03-18 22:05:34 +01:00

wsf_file_system_handler.e

Fixed HTTP_IF_MODIFIED_SINCE handling in WSF_FILE_SYSTEM_HANDLER ...

2013-03-01 18:19:51 +01:00

wsf_handler.e

Sixth round of contracts for non-Void-safe users

2013-03-15 14:50:59 +00:00

wsf_request_methods.e

Further contracts for non-Void-safe users

2013-03-14 15:29:11 +00:00

wsf_routed_service.e

Added non-Void contracts for classes previously flagged by AutoTest

2013-03-14 11:48:46 +00:00

wsf_router_agent_iterator.e

Avoid calling ANY.print, prefer io.error.put_string

2012-12-20 18:32:56 +01:00

wsf_router_item.e

…

wsf_router_iterator.e

…

wsf_router_mapping_factory.e

Third iteration of contracts for non-Void-safe users

2013-03-15 10:16:32 +00:00

wsf_router_mapping.e

Amended header comment in response to code review of pull-request

2013-03-14 16:44:15 +00:00

wsf_router_methods.e

…

wsf_router_visitor.e

…

wsf_router.e

Response to comments from review "Contracts for non-Void-safe users (take 1)"

2013-03-14 14:17:03 +00:00

wsf_routing_handler.e

…

README.md

Router

Requirements

URI Template

README.md

Router

Requirements

Overview

Usage