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