Struct ic_stable_structures::btreemap::BTreeMap

pub struct BTreeMap<K, V, M>where
    K: BoundedStorable + Ord + Clone,
    V: BoundedStorable,
    M: Memory,{ /* private fields */ }

A “stable” map based on a B-tree.

The implementation is based on the algorithm outlined in “Introduction to Algorithms” by Cormen et al.

Implementations

impl<K, V, M> BTreeMap<K, V, M>where
    K: BoundedStorable + Ord + Clone,
    V: BoundedStorable,
    M: Memory,

pub fn init(memory: M) -> Self

Initializes a BTreeMap.

If the memory provided already contains a BTreeMap, then that map is loaded. Otherwise, a new BTreeMap instance is created.

pub fn new(memory: M) -> Self

Creates a new instance a BTreeMap.

The given memory is assumed to be exclusively reserved for this data structure and that it starts at address zero. Typically memory will be an instance of RestrictedMemory.

When initialized, the data structure has the following memory layout:

| BTreeHeader | Allocator | … free memory for nodes |

See Allocator for more details on its own memory layout.

pub fn load(memory: M) -> Self

Loads the map from memory.

pub fn insert(&mut self, key: K, value: V) -> Option<V>

Inserts a key-value pair into the map.

The previous value of the key, if present, is returned.

PRECONDITION: key.to_bytes().len() <= Key::MAX_SIZE value.to_bytes().len() <= Value::MAX_SIZE

pub fn get(&self, key: &K) -> Option<V>

Returns the value associated with the given key if it exists.

pub fn contains_key(&self, key: &K) -> bool

Returns true if the key exists in the map, false otherwise.

pub fn is_empty(&self) -> bool

Returns true if the map contains no elements.

pub fn len(&self) -> u64

Returns the number of elements in the map.

pub fn into_memory(self) -> M

Returns the underlying memory.

pub fn remove(&mut self, key: &K) -> Option<V>

Removes a key from the map, returning the previous value at the key if it exists.

pub fn iter(&self) -> Iter<'_, K, V, M>

Returns an iterator over the entries of the map, sorted by key.

pub fn range(&self, key_range: impl RangeBounds<K>) -> Iter<'_, K, V, M>

Returns an iterator over the entries in the map where keys belong to the specified range.