+
Point of view
ANY
deferred class BIJECTIVE_DICTIONARY [V_, K_]
Summary
Overview
exported features
Counting:
Basic access:
  • has (k: K_): BOOLEAN
    Is there a value currently associated with key k?
  • at (k: K_): V_
    Return the value associated to key k.
  • reference_at (k: K_): V_
    Return Void or the value associated with key k.
  • fast_has (k: K_): BOOLEAN
    Is there a value currently associated with key k?
  • fast_at (k: K_): V_
    Return the value associated to key k.
  • fast_reference_at (k: K_): V_
    Return Void or the value associated with key k.
  • has_value (v: V_): BOOLEAN
    Is there a value v?
  • key_at (v: V_): K_
    Retrieve the key used for value v using is_equal for comparison.
  • fast_has_value (v: V_): BOOLEAN
    Is there a value v?
  • fast_key_at (v: V_): K_
    Retrieve the key used for value v using = for comparison.
  • put (v: V_, k: K_)
    Change some existing entry or add the new one.
  • add (v: V_, k: K_)
    To add a new entry k with its associated value v.
Removing:
To provide iterating facilities:
  • is_equal (other: BIJECTIVE_DICTIONARY [V_, K_]): BOOLEAN
    Do both dictionaries have the same set of associations?
  • copy (other: BIJECTIVE_DICTIONARY [V_, K_])
    Reinitialize by copying all associations of other.
Agents based features:
Other features:
  • internal_key (k: K_): K_
    Retrieve the internal key object which correspond to the existing entry k (the one memorized into the Current dictionary).
Indexing:
Counting:
Other features:
is_empty: BOOLEAN
effective function
Is it empty ?
has (k: K_): BOOLEAN
deferred function
Is there a value currently associated with key k?
at (k: K_): V_
deferred function
Return the value associated to key k.
reference_at (k: K_): V_
deferred function
Return Void or the value associated with key k.
fast_has (k: K_): BOOLEAN
deferred function
Is there a value currently associated with key k?
fast_at (k: K_): V_
deferred function
Return the value associated to key k.
fast_reference_at (k: K_): V_
deferred function
Return Void or the value associated with key k.
has_value (v: V_): BOOLEAN
deferred function
Is there a value v?
key_at (v: V_): K_
deferred function
Retrieve the key used for value v using is_equal for comparison.
fast_has_value (v: V_): BOOLEAN
deferred function
Is there a value v?
fast_key_at (v: V_): K_
deferred function
Retrieve the key used for value v using = for comparison.
put (v: V_, k: K_)
deferred procedure
Change some existing entry or add the new one.
add (v: V_, k: K_)
deferred procedure
To add a new entry k with its associated value v.
remove (k: K_)
deferred procedure
Remove entry k (which may exist or not before this call).
clear_count
deferred procedure
Discard all items (is_empty is True after that call).
clear_count_and_capacity
deferred procedure
Discard all items (is_empty is True after that call).
capacity: INTEGER_32
deferred function
Approximation of the actual internal storage capacity.
lower: INTEGER_32
constant attribute
Minimum index.
upper: INTEGER_32
effective function
Maximum index.
item (index: INTEGER_32): V_
deferred function
Item at the corresponding index i.
key (index: INTEGER_32): K_
deferred function
first: V_
effective function
The very first item.
last: V_
effective function
The last item.
get_new_iterator_on_items: ITERATOR[V_]
effective function
get_new_iterator_on_keys: ITERATOR[K_]
effective function
is_equal (other: BIJECTIVE_DICTIONARY [V_, K_]): BOOLEAN
effective function
Do both dictionaries have the same set of associations?
copy (other: BIJECTIVE_DICTIONARY [V_, K_])
deferred procedure
Reinitialize by copying all associations of other.
do_all (action: ROUTINE[TUPLE[TUPLE 2[V_, K_]]])
effective procedure
Apply action to every [V_, K_] associations of Current.
for_all (test: FUNCTION[TUPLE[TUPLE 2[V_, K_]]]): BOOLEAN
effective function
Do all [V_, K_] associations satisfy test?
exists (test: FUNCTION[TUPLE[TUPLE 2[V_, K_]]]): BOOLEAN
effective function
Does at least one [V_, K_] association satisfy test?
internal_key (k: K_): K_
deferred function
Retrieve the internal key object which correspond to the existing entry k (the one memorized into the Current dictionary).
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.
get_new_iterator: ITERATOR[E_]
deferred function