Use READABLE_STRING(_*) instead of just STRING(_*)

This commit is contained in:
Jocelyn Fiat
2011-09-23 18:20:16 +02:00
parent d9f6cbe80e
commit 24a5c7613d
2 changed files with 7 additions and 7 deletions

View File

@@ -37,7 +37,7 @@ feature -- Status report
feature {WGI_RESPONSE_BUFFER} -- Core output operation feature {WGI_RESPONSE_BUFFER} -- Core output operation
write (s: STRING) write (s: READABLE_STRING_8)
-- Send the string `s' -- Send the string `s'
-- this can be used for header and body -- this can be used for header and body
deferred deferred

View File

@@ -48,7 +48,7 @@ feature -- Status report
feature {NONE} -- Core output operation feature {NONE} -- Core output operation
write (s: STRING) write (s: READABLE_STRING_8)
-- Send the content of `s' -- Send the content of `s'
-- this can be used for header and body -- this can be used for header and body
do do
@@ -76,13 +76,13 @@ feature -- Status setting
feature -- Header output operation feature -- Header output operation
write_headers_string (a_headers: STRING) write_headers_string (a_headers: READABLE_STRING_8)
do do
write (a_headers) write (a_headers)
header_committed := True header_committed := True
end end
write_header (a_status_code: INTEGER; a_headers: detachable ARRAY [TUPLE [key: STRING; value: STRING]]) write_header (a_status_code: INTEGER; a_headers: detachable ARRAY [TUPLE [key: READABLE_STRING_8; value: READABLE_STRING_8]])
-- Send headers with status `a_status', and headers from `a_headers' -- Send headers with status `a_status', and headers from `a_headers'
local local
h: EWF_HEADER h: EWF_HEADER
@@ -107,20 +107,20 @@ feature -- Header output operation
feature -- Output operation feature -- Output operation
write_string (s: STRING) write_string (s: READABLE_STRING_8)
-- Send the string `s' -- Send the string `s'
do do
write (s) write (s)
end end
write_substring (s: STRING; start_index, end_index: INTEGER) write_substring (s: READABLE_STRING_8; start_index, end_index: INTEGER)
-- Send the substring `start_index:end_index]' -- Send the substring `start_index:end_index]'
--| Could be optimized according to the target output --| Could be optimized according to the target output
do do
output.put_substring (s, start_index, end_index) output.put_substring (s, start_index, end_index)
end end
write_file_content (fn: STRING) write_file_content (fn: READABLE_STRING_8)
-- Send the content of file `fn' -- Send the content of file `fn'
do do
output.put_file_content (fn) output.put_file_content (fn)