+
Point of view
All features
deferred class TRAVERSABLE [E_]
Summary
Overview
features
Indexing:
Counting:
Accessing:
  • item (i: INTEGER_32): E_
    Item at the corresponding index i.
  • first: E_
    The very first item.
  • last: E_
    The last item.
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