Package components.map
Interface Map.Pair<K,V>
- Type Parameters:
K
- type ofMapKernel
domain (key) entriesV
- type ofMapKernel
range (associated value) entries
- All Known Implementing Classes:
MapSecondary.SimplePair
public static interface Map.Pair<K,V>
A map entry (key-value pair). The only ways to obtain a reference to a
map entry are from the iterator and
Map
's remove
and
removeAny
methods.- Mathematical Model (abstract value and abstract invariant of this):
type Pair is modeled by (key: K, value: V)
- Constructor(s) (initial abstract value(s) of this):
(K key, V value): ensures this = (key, value)
-
Method Summary
-
Method Details
-
key
Returns thisPair
's key.- Returns:
- the key
- Aliases:
- reference returned by
key
-
value
Returns thisPair
's value.- Returns:
- the value
- Aliases:
- reference returned by
value
-