def finish_decoder

mylsm-lsm-store@0.3.2.0 · src/SstFileV2.bend:386

import Base

386def finish_decoder(decoder: Decoder) -> ParseResult:
387  match decoder:
388    case DecoderRejected{error}:
389      ParseRejected{error}
390    case Dec{phase, remaining_entries, previous_key, reversed_entries, level, declared_count, body_rev, consumed}:
391      match phase:
392        case ReadChecksum{reversed}:
393          checksum_value(reversed, reversed_entries, level, body_rev)
394        case NeedS{}:
395          ParseRejected{TruncatedHeader{}}
396        case Need2{}:
397          ParseRejected{TruncatedHeader{}}
398        case NeedHeaderSemi{}:
399          ParseRejected{TruncatedHeader{}}
400        case ReadLevel{scan}:
401          ParseRejected{TruncatedHeader{}}
402        case ReadCount{scan}:
403          ParseRejected{TruncatedHeader{}}
404        case NeedHash{}:
405          ParseRejected{TruncatedChecksum{}}
406        case _:
407          ParseRejected{TruncatedEntry{}}