From 5df220beefc47580d4668ba6b7fefe1d2209cff0 Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Thu, 30 May 2019 16:21:53 +0200 Subject: [PATCH] Removed redefinitions that violates VDRS(4). --- .../httpd/concurrency/thread/httpd_connection_handler.e | 3 --- library/server/wsf/policy_driven/wsf_skeleton_handler.e | 5 +---- library/server/wsf_html/form/input/wsf_form_hidden_input.e | 1 - library/server/wsf_html/form/input/wsf_form_password_input.e | 3 --- 4 files changed, 1 insertion(+), 11 deletions(-) diff --git a/library/server/httpd/concurrency/thread/httpd_connection_handler.e b/library/server/httpd/concurrency/thread/httpd_connection_handler.e index 75115d3b..21b03605 100644 --- a/library/server/httpd/concurrency/thread/httpd_connection_handler.e +++ b/library/server/httpd/concurrency/thread/httpd_connection_handler.e @@ -10,9 +10,6 @@ class inherit HTTPD_CONNECTION_HANDLER_I - redefine - initialize - end create make diff --git a/library/server/wsf/policy_driven/wsf_skeleton_handler.e b/library/server/wsf/policy_driven/wsf_skeleton_handler.e index d596116f..c17f9589 100644 --- a/library/server/wsf/policy_driven/wsf_skeleton_handler.e +++ b/library/server/wsf/policy_driven/wsf_skeleton_handler.e @@ -12,9 +12,6 @@ deferred class WSF_SKELETON_HANDLER inherit WSF_URI_TEMPLATE_HANDLER - redefine - execute - end WSF_OPTIONS_POLICY @@ -584,7 +581,7 @@ feature {NONE} -- Implementation end note - copyright: "2011-2014, Colin Adams, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + copyright: "2011-2019, Colin Adams, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)" source: "[ Eiffel Software diff --git a/library/server/wsf_html/form/input/wsf_form_hidden_input.e b/library/server/wsf_html/form/input/wsf_form_hidden_input.e index b07213d4..73b96c85 100644 --- a/library/server/wsf_html/form/input/wsf_form_hidden_input.e +++ b/library/server/wsf_html/form/input/wsf_form_hidden_input.e @@ -10,7 +10,6 @@ class inherit WSF_FORM_INPUT redefine - input_type, append_item_to_html end diff --git a/library/server/wsf_html/form/input/wsf_form_password_input.e b/library/server/wsf_html/form/input/wsf_form_password_input.e index 004c45be..e403beb2 100644 --- a/library/server/wsf_html/form/input/wsf_form_password_input.e +++ b/library/server/wsf_html/form/input/wsf_form_password_input.e @@ -9,9 +9,6 @@ class inherit WSF_FORM_INPUT - redefine - input_type - end create make,