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

better result type (using READABLE_..)

Browse Source
This commit is contained in:
Jocelyn Fiat
2011-09-14 14:48:08 +02:00
parent b1f5065e63
commit 4bcea900a6
1 changed files with 4 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
library/protocol/uri_template/src/uri_template_match_result.e
View File

@@ -58,7 +58,7 @@ feature -- Query
feature -- Query: url-decoded feature -- Query: url-decoded
url_decoded_query_variable (n: READABLE_STRING_GENERAL): detachable STRING_32 url_decoded_query_variable (n: READABLE_STRING_GENERAL): detachable READABLE_STRING_32
-- Unencoded value related to variable name `n' -- Unencoded value related to variable name `n'
do do
if attached query_variable (n) as v then if attached query_variable (n) as v then
@@ -66,7 +66,7 @@ feature -- Query: url-decoded
end end
end end
url_decoded_path_variable (n: READABLE_STRING_GENERAL): detachable STRING_32 url_decoded_path_variable (n: READABLE_STRING_GENERAL): detachable READABLE_STRING_32
-- Unencoded value related to variable name `n' -- Unencoded value related to variable name `n'
do do
if attached path_variable (n) as v then if attached path_variable (n) as v then
@@ -74,7 +74,7 @@ feature -- Query: url-decoded
end end
end end
url_decoded_variable (n: READABLE_STRING_GENERAL): detachable STRING_32 url_decoded_variable (n: READABLE_STRING_GENERAL): detachable READABLE_STRING_32
-- Unencoded value related to variable name `n' -- Unencoded value related to variable name `n'
do do
if attached variable (n) as v then if attached variable (n) as v then
@@ -84,7 +84,7 @@ feature -- Query: url-decoded
feature {NONE} -- Implementation feature {NONE} -- Implementation
url_decoded_string (s: READABLE_STRING_GENERAL): STRING_32 url_decoded_string (s: READABLE_STRING_GENERAL): READABLE_STRING_32
do do
Result := url_encoder.decoded_string (s.as_string_8) Result := url_encoder.decoded_string (s.as_string_8)
end end