home
wiki
classes/clusters list
class information
+
Point of view
All features
ANY
HASHED_BIJECTIVE_DICTIONARY
INTERNALS_HANDLER
All features
class HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
]
Summary
top
Auxilliary class to implement
HASHED_BIJECTIVE_DICTIONARY
.
Direct parents
inherit list:
ANY_HASHED_BIJECTIVE_DICTIONARY_NODE
Class invariant
top
key
/= Void
val
/= Void
Overview
top
creation features
make
(v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
features
val
: V_
key
: K_
next_key
: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
]
The forward link to the next
key
in case of hash-code clash.
next_val
: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
]
The forward link to the next
val
in case of hash-code clash.
make
(v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
set_val
(v: V_)
set_next_val
(nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
set_key
(k: K_)
set_next_key
(nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
set_val_and_key
(v: V_, k: K_)
val
: V_
writable attribute
top
key
: K_
writable attribute
top
next_key
: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
]
writable attribute
top
The forward link to the next
key
in case of hash-code clash.
next_val
: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
]
writable attribute
top
The forward link to the next
val
in case of hash-code clash.
make
(v: V_, nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
], k: K_, nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
effective procedure
top
require
v /= Void
k /= Void
ensure
val
= v
next_val
= nv
key
= k
next_key
= nk
set_val
(v: V_)
effective procedure
top
ensure
val
= v
set_next_val
(nv: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
effective procedure
top
ensure
next_val
= nv
set_key
(k: K_)
effective procedure
top
ensure
key
= k
set_next_key
(nk: HASHED_BIJECTIVE_DICTIONARY_NODE [V_ ->
HASHABLE
, K_ ->
HASHABLE
])
effective procedure
top
ensure
next_key
= nk
set_val_and_key
(v: V_, k: K_)
effective procedure
top
ensure
val
= v
key
= k