+
Point of view
All features
class ENUMERATE [V_]
Summary
top
Enumerate a traversable
Direct parents
Inherit list: ZIP
Class invariant
top
Overview
top
Creation features
{ANY}
Features
{ANY}
{ANY}
Other features:
{ANY}
  • internal_key (k: K_): K_
    Retrieve the internal key object which correspond to the existing entry k (the one memorized into the Current dictionary).
{ANY}
  • items: TRAVERSABLE[V_]
    An iterable of this map values Usually returns Current because MAP is TRAVERSABLE.
  • keys: TRAVERSABLE[K_]
    An iterable of this map keys
{}
Counting:
{ANY}
Basic access:
{ANY}
  • infix "@" (k: K_): V_
    The infix notation which is actually a synonym for at.
Looking and searching some value:
{ANY}
To provide iterating facilities:
{ANY}
  • first: V_
    The very first item.
  • last: V_
    The last item.
  • key_map_in (buffer: COLLECTION[K_])
    Append in buffer, all available keys (this may be useful to speed up the traversal).
  • item_map_in (buffer: COLLECTION[V_])
    Append in buffer, all available items (this may be useful to speed up the traversal).
{ANY}
Display support:
{ANY}
Agents based features:
{ANY}
{}
{}
{ANY}
Other features:
{ANY}
{ANY}
{}
{}
Indexing:
{ANY}
{ANY}
  • test (e1: E_, e2: E_): BOOLEAN
    In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
  • safe_equal (e1: E_, e2: E_): BOOLEAN
    In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
make (a_items: TRAVERSABLE[ANY])
effective procedure
{ANY}
top
lower: INTEGER_32
is 0
constant attribute
{ANY}
top
Minimum index.
upper: INTEGER_32
effective function
{ANY}
top
Maximum index.
count: INTEGER_32
effective function
{ANY}
top
Number of available items in the hoard.
copy (other: ENUMERATE [V_])
effective procedure
{ANY}
top
Update current object using fields of object attached to other, so as to yield equal objects.
has (k: K_): BOOLEAN
effective function
{ANY}
top
Is there a value currently associated with key k?
at (k: K_): V_
effective function
{ANY}
top
Return the value associated to key k.
reference_at (k: K_): V_
effective function
{ANY}
top
Return Void or the value associated with key k.
fast_has (k: K_): BOOLEAN
effective function
{ANY}
top
Is there a value currently associated with key k?
fast_at (k: K_): V_
effective function
{ANY}
top
Return the value associated to key k using basic = for comparison.
fast_reference_at (k: K_): V_
effective function
{ANY}
top
Same work as reference_at, but basic = is used for comparison.
item (index: INTEGER_32): V_
effective function
{ANY}
top
Item at the corresponding index i.
key (index: INTEGER_32): K_
effective function
{ANY}
top
new_iterator_on_items: ITERATOR[V_]
effective function
{ANY}
top
new_iterator_on_keys: ITERATOR[K_]
effective function
{ANY}
top
new_iterator: ITERATOR[TUPLE 2[V_, K_]]
effective function
{ANY}
top
internal_key (k: K_): K_
effective function
{ANY}
top
Retrieve the internal key object which correspond to the existing entry k (the one memorized into the Current dictionary).
items: TRAVERSABLE[V_]
writable attribute
{ANY}
top
An iterable of this map values Usually returns Current because MAP is TRAVERSABLE.
keys: TRAVERSABLE[K_]
writable attribute
{ANY}
top
An iterable of this map keys
index_of (k: K_): INTEGER_32
effective function
{}
top
fast_index_of (k: K_): INTEGER_32
effective function
{}
top
is_empty: BOOLEAN
effective function
{ANY}
top
Is it empty?
infix "@" (k: K_): V_
frozen
effective function
{ANY}
top
The infix notation which is actually a synonym for at.
occurrences (v: V_): INTEGER_32
effective function
{ANY}
top
Number of occurrences using is_equal for comparison.
fast_occurrences (v: V_): INTEGER_32
effective function
{ANY}
top
Number of occurrences using basic = for comparison.
key_at (v: V_): K_
effective function
{ANY}
top
Retrieve the key used for value v using is_equal for comparison.
fast_key_at (v: V_): K_
effective function
{ANY}
top
Retrieve the key used for value v using = for comparison.
first: V_
effective function
{ANY}
top
The very first item.
last: V_
effective function
{ANY}
top
The last item.
key_map_in (buffer: COLLECTION[K_])
effective procedure
{ANY}
top
Append in buffer, all available keys (this may be useful to speed up the traversal).
item_map_in (buffer: COLLECTION[V_])
effective procedure
{ANY}
top
Append in buffer, all available items (this may be useful to speed up the traversal).
fast_is_equal (other: ENUMERATE [V_]): BOOLEAN
effective function
{ANY}
top
Do both dictionaries have the same set of associations?
is_equal (other: ENUMERATE [V_]): BOOLEAN
effective function
{ANY}
top
Do both dictionaries have the same set of associations?
is_equal_map (other: ENUMERATE [V_]): BOOLEAN
effective function
{ANY}
top
Do both collections have the same lower, upper, and items?
out_in_tagged_out_memory
effective procedure
{ANY}
top
Append terse printable representation of current object in tagged_out_memory.
for_each (action: PROCEDURE[TUPLE[TUPLE 2[V_, K_]]])
effective procedure
{ANY}
top
Apply action to every [V_, K_] associations of Current.
do_all (action: ROUTINE[TUPLE[TUPLE 2[V_, K_]]])
frozen
effective procedure
{ANY}
top
Apply action to every [V_, K_] associations of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 2[V_, K_]]]): BOOLEAN
effective function
{ANY}
top
Do all [V_, K_] associations satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 2[V_, K_]]]): BOOLEAN
effective function
{ANY}
top
Does at least one [V_, K_] association satisfy test?
aggregate (action: FUNCTION[TUPLE[TUPLE 3[V_, V_, K_], V_]], initial: V_): V_
effective function
{ANY}
top
Aggregate all the elements starting from the initial value.
keys_memory: DICTIONARY_KEY_TRAVERSER[V_, K_]
writable attribute
{}
top
_inline_agent43 (v: V_, k: K_)
frozen
effective procedure
{}
top
enumerate: ENUMERATE[E_]
effective function
{ANY}
top
get_new_iterator: ITERATOR[E_]
frozen
effective function
{ANY}
top
generation: INTEGER_32
writable attribute
{ANY}
top
next_generation
effective procedure
{}
top
_inline_agent1 (a: ROUTINE[TUPLE[TUPLE 1[E_]]], e: E_)
frozen
effective procedure
{}
top
valid_index (i: INTEGER_32): BOOLEAN
effective function
{ANY}
top
True when i is valid (i.e., inside actual bounds).
test (e1: E_, e2: E_): BOOLEAN
effective function
{ANY}
top
In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.
safe_equal (e1: E_, e2: E_): BOOLEAN
effective function
{ANY}
top
In order to avoid run-time type errors, feature safe_equal calls is_equal only when e1 and e2 have exactly the same dynamic type.