def owner.cursor.open.allocated

mylsm-lsm-store@0.6.0.1 · src/scan/Snapshot.bend:835

import Base

835def owner.cursor.open.allocated(
836  allocation: ResourceIdDecision,
837  reservations: Registry,
838  snapshots: List<&2, SnapshotResource>,
839  cursors: List<&2, CursorResource>,
840  snapshot_id: U32
841) -> OwnerCursorOpenDecision:
842  match allocation:
843    case ResourceIdAllocated{cursor_id, next_allocator}:
844      owner.cursor.open.ready(u32.duplicate(cursor_id), next_allocator,
845        reservations, snapshots, cursors, snapshot_id)
846    case ResourceIdExhausted{allocator}:
847      OwnerCursorRejected{OwnerRegistry{allocator, reservations,
848        snapshots, cursors}}