From 496df96f756cafea745c0aa9028f1b52647af5bb Mon Sep 17 00:00:00 2001
From: Colin Adams <colinpauladams@gmail.com>
Date: Sat, 24 Nov 2012 14:02:26 +0000
Subject: [PATCH] First postconditions relating to response codes added

---
 .../server/wsf/extension/wsf_method_handler.e | 40 +++++++++++++++++++
 1 file changed, 40 insertions(+)

diff --git a/library/server/wsf/extension/wsf_method_handler.e b/library/server/wsf/extension/wsf_method_handler.e
index 8176ebef..ace5fde8 100644
--- a/library/server/wsf/extension/wsf_method_handler.e
+++ b/library/server/wsf/extension/wsf_method_handler.e
@@ -17,7 +17,47 @@ feature -- Method
 			a_res_not_void: a_res /= Void
 		deferred
 		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?
+		end
 
+feature -- Contract support
+
+	is_1_0 (a_protocol: READABLE_STRING_8): BOOLEAN
+			-- Is `a_protocol' (a variant of) HTTP 1.0?
+		require
+			a_protocol_not_void: a_protocol /= Void
+		do
+			Result := a_protocol.count >= 8 and then
+				a_protocol.substring (1, 8) ~ "HTTP/1.0"
+		end
+
+	valid_response_for_http_1_0 (a_status_code: INTEGER): BOOLEAN
+			-- Is `a_status_code' a valid response to HTTP 1.0?
+		do
+			-- 1XX is forbidden
+
+			-- first approximation
+			Result := a_status_code >= {HTTP_STATUS_CODE}.ok
+		end
+
+	is_no_content_response (a_status_code: INTEGER): BOOLEAN
+			-- Is `a_status_code' one that does not permit an entity in the response?
+		do
+			inspect
+				a_status_code
+			when {HTTP_STATUS_CODE}.no_content then
+				Result := True
+			when {HTTP_STATUS_CODE}.reset_content then
+				Result := True				
+			when {HTTP_STATUS_CODE}.not_modified then
+				Result := True
+			when {HTTP_STATUS_CODE}.conflict then
+				Result := True				
+			else
+				-- default to False
+			end
 		end
 
 end