~/jendhub

def gate.manifest

mylsm-lsm-store@0.6.0.1 · src/transfer/Migrate.bend:340

import mylsm-lsm-store@0.6.0.1/src/transfer/Migrate.bend as Migrate
import Base
import mylsm-lsm-store@0.6.0.1/src/transfer/FormatInspect.bend as FormatInspect

340# Requires a valid manifest before considering the legacy file verification.
341def gate.manifest(
342  validation: SourceValidation,
343  destination_missing: Bool,
344  max_entries: Nat,
345  max_encoded_bytes: Nat,
346  supported: Bool,
347  integrity: FormatInspect.Integrity
348) -> Decision:
349  match integrity:
350    case FormatInspect.Valid{}:
351      gate.source(validation, destination_missing, max_entries,
352        max_encoded_bytes, supported)
353    case FormatInspect.ResourceLimit{}:
354      MigrateRejected{ResourceLimit{}}
355    case _:
356      MigrateRejected{InvalidManifest{}}

Uses (7)

Used by (1)