class ITERATOR_ON_SET [E_]

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: SET[E_])

require

  • d /= Void

ensure

  • set = d

set: SET[E_]

The one to be traversed.

item_index: INTEGER
make (d: SET[E_])

require

  • d /= Void

ensure

  • set = 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: E_

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