~/jendhub

def record.key.length.checked

mylsm-lsm-store@0.6.0.1 · src/ByteWal.bend:338

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

338# Parses a record key length and verifies its bounded range.
339def record.key.length.checked(
340  pair: Bytes.Bytes & U32,
341  tag: U32,
342  +length: U32,
343  +key_offset: U32
344) -> DecodedRecord:
345  match pair:
346    case (frame, total):
347      record.key.checked(frame, tag, length, key_offset,
348        U32.is_le(length, StorageBytes.MAX_RECORD_BYTES()) &&
349          bytes.interval.length(total, key_offset, length))

Uses (10)

Used by (1)