+
Point of view
ANY
deferred class TRAVERSABLE [E_]
Summary
Overview
exported features
Indexing:
Counting:
Accessing:
Other features:
lower: INTEGER_32
deferred function
Minimum index.
upper: INTEGER_32
deferred function
Maximum index.
valid_index (i: INTEGER_32): BOOLEAN
effective function
True when i is valid (i.e., inside actual bounds).
count: INTEGER_32
deferred function
Number of available indices.
is_empty: BOOLEAN
deferred function
Is collection empty ?
See also count.
item (i: INTEGER_32): E_
deferred function
Item at the corresponding index i.
first: E_
deferred function
The very first item.
last: E_
deferred function
The last item.
get_new_iterator: ITERATOR[E_]
deferred function