From 504baaf859bd8d34cbb544845065f7314ffa631e Mon Sep 17 00:00:00 2001 From: Jocelyn Fiat Date: Fri, 8 Mar 2013 15:34:35 +0100 Subject: [PATCH] better have hash table indexed by STRING_32 rather than READABLE_STRING_32 for now --- library/server/wsf/src/request/value/wsf_table.e | 12 ++++++------ 1 file changed, 6 insertions(+), 6 deletions(-) diff --git a/library/server/wsf/src/request/value/wsf_table.e b/library/server/wsf/src/request/value/wsf_table.e index 8b74ff98..51d12e19 100644 --- a/library/server/wsf/src/request/value/wsf_table.e +++ b/library/server/wsf/src/request/value/wsf_table.e @@ -58,11 +58,11 @@ feature -- Access end end - values: HASH_TABLE [WSF_VALUE, READABLE_STRING_32] + values: HASH_TABLE [WSF_VALUE, STRING_32] - value (k: READABLE_STRING_32): detachable WSF_VALUE + value (k: READABLE_STRING_GENERAL): detachable WSF_VALUE do - Result := values.item (k) + Result := values.item (k.to_string_32) end count: INTEGER @@ -169,11 +169,11 @@ feature -- Conversion feature -- Element change - add_value (a_value: WSF_VALUE; k: READABLE_STRING_32) + add_value (a_value: WSF_VALUE; k: READABLE_STRING_GENERAL) require same_name: a_value.name.same_string (name) or else (a_value.name.starts_with (name) and then a_value.name.item (name.count + 1) = '[') do - values.force (a_value, k) + values.force (a_value, k.to_string_32) end feature -- Traversing @@ -217,7 +217,7 @@ feature -- Visitor end note - copyright: "2011-2012, Jocelyn Fiat, Javier Velilla, Olivier Ligot, Eiffel Software and others" + copyright: "2011-2013, 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