home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
All features
class ITERATOR_ON_TRAVERSABLE [E_]
Summary
top
Please do not use this class directly. Look at
ITERATOR
.
Direct parents
inherit list:
ITERATOR
Known children
inherit list:
ITERATOR_ON_COLLECTION
Overview
top
creation features
make
(t:
TRAVERSABLE
[E_])
features
traversable
:
TRAVERSABLE
[E_]
The one to be traversed.
item_index
:
INTEGER_32
Memorize the current position.
make
(t:
TRAVERSABLE
[E_])
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.
next
Positions the iterator to the next object in the sequence.
traversable
:
TRAVERSABLE
[E_]
writable attribute
top
The one to be traversed.
item_index
:
INTEGER_32
writable attribute
top
Memorize the current position.
make
(t:
TRAVERSABLE
[E_])
effective procedure
top
require
t /= Void
ensure
traversable
= t
start
effective procedure
top
Positions the iterator to the first object in the aggregate to be traversed.
is_off
:
BOOLEAN
effective function
top
Returns True when there are no more objects in the sequence.
item
: E_
effective function
top
Returns the object at the current position in the sequence.
require
not is_off
next
effective procedure
top
Positions the iterator to the next object in the sequence.
require
not is_off