ANY NONE
expanded class interface UTF8_PARSER
   --
   -- The purpose of the UTF8_PARSER is to analyse STRINGs encoded with
   -- UTF-8 format in order to create corresponding UNICODE_STRING objects.
   --
   -- Any sequence is decoded, "invalid" character is used where UTF-8
   -- sequence is wrong.

feature(s) from UTF8_PARSER
   decode (utf8_string: STRING; unicode_string: UNICODE_STRING)
      -- Decode the utf8_string and append it in unicode_string.
      -- After this call the first_error attribute may be non Void
      -- to explain the error encountered during the utf8_string
      -- decoding.
      -- In case of error, the first_error_index is also used to
      -- indicate the position of the first error into the original
      -- utf8_string, first_error_character indicate the
      -- position of the first error character added in unicode_string.
      require
         utf8_string /= Void;
         unicode_string /= Void

   first_error: STRING
      -- When first_error is not Void, this means that an error
      -- has occured during the last decode call. In such a
      -- situation, first_error is an explanation of the error.

   first_error_index: INTEGER
      -- Meaningful only when first_error is not Void to indicate
      -- the position of the error in utf8_string (see decode).

   first_error_character: INTEGER
      -- Meaningful only when first_error is not Void to indicate
      -- the position of the first error character added to
      -- unicode_string (see decode).



end of expanded UTF8_PARSER