ANY NONE
class interface ITERATOR_ON_UNICODE_STRING
   -- Please do not use this class directly. Look at ITERATOR.

creation
   make (s: UNICODE_STRING)
      require
         s /= Void
      ensure
         string = s

feature(s) from ITERATOR
   start
      -- Positions the iterator to the first object in the
      -- aggregate to be traversed.

   is_off: BOOLEAN
      -- Returns True when there are no more objects in the
      -- sequence.

   item: INTEGER
      -- Returns the object at the current position in the
      -- sequence.
      require
         not is_off

   next
      -- Positions the iterator to the next object in the
      -- sequence.
      require
         not is_off

feature(s) from ITERATOR_ON_UNICODE_STRING
   string: UNICODE_STRING
      -- The one to be traversed.

   item_index: INTEGER
      --  Memorize the current position.

feature(s) from ITERATOR_ON_UNICODE_STRING
   make (s: UNICODE_STRING)
      require
         s /= Void
      ensure
         string = s



end of ITERATOR_ON_UNICODE_STRING