class ITERATOR_ON_COLLECTION [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 (c: COLLECTION[E_])

require

  • c /= Void

ensure

  • collection = c

collection: COLLECTION[E_]

The one to be traversed.

item_index: INTEGER
 Memorize the current position.
make (c: COLLECTION[E_])

require

  • c /= Void

ensure

  • collection = c

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