def owner.snapshot.open.id

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

import Base

454def owner.snapshot.open.id(
455  allocation: ResourceIdDecision,
456  reservations: Registry,
457  snapshots: List<&2, SnapshotResource>,
458  cursors: List<&2, CursorResource>,
459  generation: Nat,
460  retained_bytes: Nat
461) -> OwnerOpenDecision:
462  match allocation:
463    case ResourceIdAllocated{id, allocator}:
464      owner.snapshot.open.created(u32.duplicate(id), allocator, reservations,
465        snapshots, cursors, generation, retained_bytes)
466    case ResourceIdExhausted{allocator}:
467      owner.snapshot.open.release(allocator, snapshots, cursors,
468        registry.release(reservations, retained_bytes))