text/org.k3lp.lib.text/K3MarkerPool

K3MarkerPool

interface K3MarkerPool(source)

A marker pool is a mapping between unique numeric ids and marker names. This is required for efficient runtime storage and comparison of in-band markers. See the discussion of marker ids in K3Marker.

TODO evaluate if thread-safety is needed; for now no thread-safety guarantee.

See also

Inheritors

Functions

Link copied to clipboard
abstract fun getById(id: Int): K3Marker?

Gets the corresponding marker by unique numeric id, or null if there is no marker with such id.

Link copied to clipboard
abstract fun getByName(name: String): K3Marker?

Gets the corresponding marker by name, or null if there is no marker with such name.

Generated by Dokka
© 2025-2026 Patrick Goldinger and Lars Mühlbauer