+
Point of view
All features
class DICTIONARY_KEY_TRAVERSER [V_, K_]
Summary
This class allows you to view a MAP[V_, K_] as a TRAVERSABLE[K_]. Note that there is no need for a DICTIONARY_ITEM_TRAVERSER because MAP[V_, K_] is already a TRAVERSABLE[V_].
Direct parents
Inherit list: TRAVERSABLE
Overview
Creation features
{ANY}
{MAP}
Features
{}
{ANY}
{ANY}
{ANY}
{ANY}
{ANY}
{}
  • map: MAP[V_, K_]
{ANY}
Other features:
{ANY}
Agent-based features:
{ANY}
Printing:
{ANY}
{ANY}
{}
Agent-based features:
{ANY}
{}
Indexing:
{ANY}
from_map (map_: MAP[V_, K_])
effective procedure
{}
from_dictionary (map_: MAP[V_, K_])
effective procedure
{ANY}
lower: INTEGER_32
effective function
{ANY}
Minimum index.
upper: INTEGER_32
effective function
{ANY}
Maximum index.
count: INTEGER_32
effective function
{ANY}
Number of available items in the hoard.
is_empty: BOOLEAN
effective function
{ANY}
Is the hoard empty ?
See also count.
item (i: INTEGER_32): K_
effective function
{ANY}
Item at the corresponding index i.
first: K_
effective function
{ANY}
The very first item.
last: K_
effective function
{ANY}
The last item.
new_iterator: ITERATOR[K_]
effective function
{ANY}
map: MAP[V_, K_]
writable attribute
{}
enumerate: ENUMERATE[E_]
effective function
{ANY}
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
for_each (action: PROCEDURE[TUPLE[TUPLE 1[E_]]])
effective procedure
{ANY}
Apply action to every item of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Do all items satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 1[E_]]]): BOOLEAN
effective function
{ANY}
Does at least one item satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 2[E_, E_], E_]], initial: E_): E_
effective function
{ANY}
Aggregate all the elements starting from the initial value.
out_in_tagged_out_memory
effective procedure
{ANY}
Append terse printable representation of current object in tagged_out_memory.
generation: INTEGER_32
writable attribute
{ANY}
next_generation
effective procedure
{}
do_all (action: ROUTINE[TUPLE[TUPLE 1[E_]]])
frozen
effective procedure
{ANY}
Apply action to every item of Current.
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
True when i is valid (i.e., inside actual bounds).