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