Updated encoder library, especially URL encoders to reuse implementation of percent_encoder.e

Fixed JSON_ENCODER for %T and related.
Updated related autotest cases.

Author: jocelyn

library/text/encoder/src/json_encoder.e

@@ -50,8 +50,11 @@ feature -- Encoder
 					inspect c
 					when '%"' then Result.append_string ("\%"")
 					when '\' then Result.append_string ("\\")
-					when '%R' then Result.append_string ("\r")
+					when '%B' then Result.append_string ("\b")
+					when '%F' then Result.append_string ("\f")
 					when '%N' then Result.append_string ("\n")
+					when '%R' then Result.append_string ("\r")
+					when '%T' then Result.append_string ("\t")
 					else
 						Result.extend (c)
 					end
@@ -103,12 +106,21 @@ feature -- Decoder
 						when '%"' then
 							Result.append_character ('%"')
 							i := i + 2
+						when 'b' then
+							Result.append_character ('%B')
+							i := i + 2
+						when 'f' then
+							Result.append_character ('%F')
+							i := i + 2
 						when 'n' then
 							Result.append_character ('%N')
 							i := i + 2
 						when 'r' then
 							Result.append_character ('%R')
 							i := i + 2
+						when 't' then
+							Result.append_character ('%T')
+							i := i + 2
 						when 'u' then
 							hex := v.substring (i+2, i+2+4 - 1)
 							if hex.count = 4 then
@@ -170,7 +182,7 @@ feature {NONE} -- Implementation
 		end
 
 note
-	copyright: "2011-2012, Eiffel Software and others"
+	copyright: "Copyright (c) 2011-2014, Eiffel Software and others"
 	license: "Eiffel Forum License v2 (see http://www.eiffel.com/licensing/forum.txt)"
 	source: "[
 			Eiffel Software

library/text/encoder/src/percent_encoder.e

@@ -66,20 +66,20 @@ feature -- Percent encoding
 			end
 		end
 
-	partial_encoded_string (s: READABLE_STRING_GENERAL; a_ignore: ITERABLE [CHARACTER_32]): STRING_8
+	partial_encoded_string (s: READABLE_STRING_GENERAL; a_ignore: ITERABLE [CHARACTER]): STRING_8
 			-- Return  `s' as percent-encoded value,
 			-- but does not escape character listed in `a_ignore'.
 		do
 			create Result.make (s.count)
 			append_partial_percent_encoded_string_to (s, Result, a_ignore)
 		end
 
-	append_partial_percent_encoded_string_to (s: READABLE_STRING_GENERAL; a_result: STRING_GENERAL; a_ignore: ITERABLE [CHARACTER_32])
+	append_partial_percent_encoded_string_to (s: READABLE_STRING_GENERAL; a_result: STRING_GENERAL; a_ignore: ITERABLE [CHARACTER])
 			-- Append `s' as percent-encoded value to `a_result',
 			-- but does not escape character listed in `a_ignore'.
 		local
 			c: NATURAL_32
-			ch: CHARACTER_32
+			ch: CHARACTER_8
 			i,n: INTEGER
 		do
 			has_error := False
@@ -109,15 +109,21 @@ feature -- Percent encoding
 						43, 44, 59, 61, -- reserved = sub-delims: +,;=
 						37 -- percent encoding: %
 					then
-						ch := c.to_character_32
+						check c.is_valid_character_8_code end
+						ch := c.to_character_8
 						if across a_ignore as ic some ic.item = ch end then
 							a_result.append_code (c)
 						else
 							append_percent_encoded_character_code_to (c, a_result)
 						end
 					else
-						if across a_ignore as ic some ic.item = ch end then
-							a_result.append_code (c)
+						if c.is_valid_character_8_code then
+							ch := c.to_character_8
+							if across a_ignore as ic some ic.item = ch end then
+								a_result.append_code (c)
+							else
+								append_percent_encoded_character_code_to (c, a_result)
+							end
 						else
 							append_percent_encoded_character_code_to (c, a_result)
 						end