From dd9aff03d398f4fbbd06ddb1f69882a8dffb578c Mon Sep 17 00:00:00 2001
From: jvelilla <javier.hector@gmail.com>
Date: Mon, 6 Apr 2015 16:42:45 -0300
Subject: [PATCH] Added features comments.

---
 .../configuration/httpd_configuration_i.e     | 31 +++++++++++++++++++
 .../src/httpd/httpd_request_handler_i.e       |  2 +-
 2 files changed, 32 insertions(+), 1 deletion(-)

diff --git a/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e b/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
index 79b82c83..8d2b9a7b 100644
--- a/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
+++ b/library/server/ewsgi/connectors/standalone/src/httpd/configuration/httpd_configuration_i.e
@@ -57,8 +57,10 @@ feature -- Access: SSL
 			 -- Is SSL/TLS session?.
 
 	ca_crt: STRING
+			-- the signed certificate.
 
 	ca_key: STRING
+			-- private key to the sertificate.
 
 	ssl_protocol: NATURAL
 		-- By default protocol is tls 1.2.
@@ -78,31 +80,49 @@ feature -- Element change
 	unset_http_server_name
 		do
 			http_server_name := Void
+				--| Missing postcondition
+				--| ensure 	
+				--| unser_http_server_name: http_server_name = Void.
 		end
 
 	set_http_server_port (v: like http_server_port)
+			-- Set `http_server_port' with `v'.
 		do
 			http_server_port := v
+		ensure
+			http_server_port_set: http_server_port = v
 		end
 
 	set_max_tcp_clients (v: like max_tcp_clients)
+			-- Set `max_tcp_clients' with `v'.
 		do
 			max_tcp_clients := v
+		ensure
+			max_tcp_clients_set: max_tcp_clients = v
 		end
 
 	set_max_concurrent_connections (v: like max_concurrent_connections)
+			-- Set `max_concurrent_connections' with `v'.
 		do
 			max_concurrent_connections := v
+		ensure
+			max_concurrent_connections_set : max_concurrent_connections = v
 		end
 
 	set_socket_accept_timeout (v: like socket_accept_timeout)
+			-- Set `socket_accept_timeout' with `v'
 		do
 			socket_accept_timeout := v
+		ensure
+			socket_accept_timeout_set: socket_accept_timeout = v
 		end
 
 	set_socket_connect_timeout (v: like socket_connect_timeout)
+			-- Set `socket_connect_timeout' with `v'
 		do
 			socket_connect_timeout := v
+		ensure
+			socket_connect_timeout_set:  socket_connect_timeout = v
 		end
 
 	set_force_single_threaded (v: like force_single_threaded)
@@ -110,12 +130,17 @@ feature -- Element change
 			if v then
 				set_max_concurrent_connections (0)
 			end
+			--|Missing postcondition
+			--| force_single_thread_set: v implies max_concurrent_connections = 0	
+			--| not_single_thread: not v implies max_concurrent_connections > 0	
 		end
 
 	set_is_verbose (b: BOOLEAN)
 			-- Set `is_verbose' to `b'
 		do
 			is_verbose := b
+		ensure
+			is_verbose_set:  is_verbose = b
 		end
 
 	set_keep_alive_timeout (a_seconds: like keep_alive_timeout)
@@ -137,6 +162,12 @@ feature -- Element change
 			else
 				is_secure := False
 			end
+			--| Missing postcondition
+			--| ensure
+			--		is_secure_set : has_ssl_support implies is_secure
+			--	    http_server_port_set: has_ssl_support implies http_server_port = 443
+			--      is_not_secure: not has_ssl_support implies not is_secure
+			-- 		default_port: not has_ssl_support implies http_server_port = 80
 		end
 
 feature -- Element change
diff --git a/library/server/ewsgi/connectors/standalone/src/httpd/httpd_request_handler_i.e b/library/server/ewsgi/connectors/standalone/src/httpd/httpd_request_handler_i.e
index 67b327cd..de42e66f 100644
--- a/library/server/ewsgi/connectors/standalone/src/httpd/httpd_request_handler_i.e
+++ b/library/server/ewsgi/connectors/standalone/src/httpd/httpd_request_handler_i.e
@@ -1,5 +1,5 @@
 note
-	description: "Represent a handler interface for components that process HTTP requests."
+	description: "Represent a handler interface that process HTTP requests."
 	date: "$Date$"
 	revision: "$Revision$"