Interface

PersistentCollection.Builder

A generic builder of the persistent collection.

Common
interface Builder<E>: MutableCollection<E>

A generic builder of the persistent collection. Builder exposes its modification operations through the MutableCollection interface.

Builders are reusable, that is build method can be called multiple times with modifications between these calls. However, modifications applied do not affect previously built persistent collection instances.

Builder is backed by the same underlying data structure as the persistent collection it was created from. Thus, builder and build methods take constant time consisting of passing the backing storage to the new builder and persistent collection instances, respectively.

The builder tracks which nodes in the structure are shared with the persistent collection, and which are owned by it exclusively. It owns the nodes it copied during modification operations and avoids copying them on subsequent modifications.

When build is called the builder forgets about all owned nodes it had created.

Functions

build

fun build(): PersistentCollection<E>

Returns a persistent collection with the same contents as this builder.

This method can be called multiple times.

If operations applied on this builder have caused no modifications:

  • on the first call it returns the same persistent collection instance this builder was obtained from.
  • on subsequent calls it returns the same previously returned persistent collection instance.