class ITERATOR_ON_UNICODE_STRING

All features

Please do not use this class directly. Look at ITERATOR.

Direct parents

conformant parents

ITERATOR

Summary

creation features

exported features

Details

make (s: UNICODE_STRING)

require

  • s /= Void

ensure

  • string = s

string: UNICODE_STRING

The one to be traversed.

item_index: INTEGER
 Memorize the current position.
make (s: UNICODE_STRING)

require

  • s /= Void

ensure

  • string = s

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