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

Completed first pass for HTTP 1.1 conformace contracts

Browse Source
This commit is contained in:
Colin Adams
2012-11-24 15:45:42 +00:00
parent 68cd78d87d
commit a9d83f97a8
5 changed files with 39 additions and 7 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
library/server/wsf/extension/wsf_method_handler.e
View File

@@ -19,7 +19,7 @@ feature -- Method
ensure
valid_response_for_http_1_0: is_1_0 (a_req.server_protocol) implies
valid_response_for_http_1_0 (a_res.status_code)
empty_body_for_no_content_response: is_no_content_response(a_res.status_code) implies a_res.transfered_content_length = 0 -- Is that the right measure?
empty_body_for_no_content_response: is_no_content_response (a_res.status_code) implies is_empty_content (a_res)
end
feature -- Contract support
@@ -60,5 +60,13 @@ feature -- Contract support
end
end
is_empty_content (a_res: WSF_RESPONSE): BOOLEAN
-- Does `a_res' not contain an entity?
require
a_res_not_void: a_res /= Void
do
Result := a_res.transfered_content_length = 0 -- Is that the right measure?
end
end