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