class ITERATOR_ON_DICTIONARY_ITEMS [V_, K_]

All features

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

Direct parents

conformant parents

ITERATOR

Summary

creation features

exported features

Details

make (d: DICTIONARY[V_K_])

require

  • d /= Void

ensure

  • dictionary = d

dictionary: DICTIONARY[V_K_]

The one to be traversed.

item_index: INTEGER
 Memorize the current position.
make (d: DICTIONARY[V_K_])

require

  • d /= Void

ensure

  • dictionary = d

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: V_

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