def route.record.bounds

mylsm-lsm-store@0.6.0.1 · src/scan/ByteBlockReader.bend:738

import Base
import mylsm-lsm-store@0.6.0.1/src/scan/BlockRoutePolicy.bend as BlockRoutePolicy
import bend-kit-bytes@0.3.2.0/bytes.bend as Bytes

738def route.record.bounds(
739  file: File,
740  state: State,
741  +context: RouteContext,
742  key: Bytes.Bytes,
743  +search: BlockRoutePolicy.Search,
744  mid: Nat,
745  +offset: U32,
746  +length: U32,
747  separator_start: Nat,
748  valid: Bool
749) -> RouteState:
750  match valid:
751    case True{}:
752      RouteSeparatorNeed{file, state, context, key, search, mid,
753        U32.to_nat(offset), length, separator_start}
754    case False{}:
755      RouteFailed{file, corruption("byte SST separator exceeds the index region")}