RaboshOptions

class RaboshOptions(val store: StoreOptions = StoreOptions.DEFAULT, val catalog: CatalogOptions = CatalogOptions.DEFAULT, val index: IndexOptions = IndexOptions.DEFAULT, val schema: Boolean = true, val indexes: Boolean = true, val backfill: Boolean = true, val segmentObserver: SegmentObserver? = null)

Tuning for Rabosh.open.

Three nested option objects rather than a flattened copy of them: the layers below own their own tuning, and a facade that restated every field would be a second place to change when one of them grows a knob. What is added here is only what a composition of them needs — which layers exist, whether opening pays for a scan, and where a caller's own observer goes.

A plain class with default arguments rather than a data class, for the reason StoreOptions writes down: copy and componentN would join the published ABI, and adding an option later would then be a binary-incompatible change to a type whose whole purpose is to grow.

Constructors

Link copied to clipboard
constructor(store: StoreOptions = StoreOptions.DEFAULT, catalog: CatalogOptions = CatalogOptions.DEFAULT, index: IndexOptions = IndexOptions.DEFAULT, schema: Boolean = true, indexes: Boolean = true, backfill: Boolean = true, segmentObserver: SegmentObserver? = null)

Types

Link copied to clipboard
object Companion

Properties

Link copied to clipboard

Whether Rabosh.open builds derived data for segments that have none before it returns.

Link copied to clipboard

Tuning for the schema catalog, when schema is true. See CatalogOptions.

Link copied to clipboard

Tuning for the index catalog, when indexes is true. See IndexOptions.

Link copied to clipboard

Whether an index catalog is created, collected into and read from.

Link copied to clipboard

Whether a schema catalog is created, collected into and read from.

Link copied to clipboard

A caller's own observer, composed alongside the catalogs.

Link copied to clipboard

Tuning for the store. See StoreOptions.

Functions

Link copied to clipboard
open override fun toString(): String