Struct OutputLedger 

pub struct OutputLedger<O> { /* private fields */ }

Fake output consumer ledger for materialized output frames.

Implementations

impl<O: Clone + PartialEq> OutputLedger<O>

pub fn new() -> Self

Creates an empty output ledger.

pub fn close_scope(&mut self, scope: ScopeId)

Marks a scope closed for later frame validation.

pub fn apply_result<C>(&mut self, result: &TransactionResult<C, O>)

Applies all output frames from a transaction result.

pub fn apply_frame(&mut self, frame: &OutputFrame<O>)

Applies a single output frame.

pub fn snapshot(&self, key: OutputKey) -> Option<&OutputSnapshot<O>>

Returns current output state.

pub fn errors(&self) -> &[OutputLedgerError]

Returns structural ledger errors observed while applying frames.

pub fn frame_trace(&self) -> &[OutputFrameTrace]

Returns frame traces in applied delivery order.

pub fn frame_records(&self) -> &[OutputFrame<O>]

Returns applied output frames including typed payloads in delivery order.

pub fn assert_revision_monotonic(&self) -> Result<(), OutputLedgerError>

Asserts no revision regressions or closed-scope frame errors occurred.

pub fn assert_no_frame_for_closed_scope_except_terminal( &self, ) -> Result<(), OutputLedgerError>

Asserts closed scopes emitted no non-terminal output frames.

pub fn assert_closed_scope_cleared( &self, scope: ScopeId, ) -> Result<(), OutputLedgerError>

Asserts every output owned by a closed scope has been cleared.

pub fn assert_cleared(&self, key: OutputKey) -> Result<(), OutputLedgerError>

Asserts an output key is currently cleared.

pub fn assert_current_equals( &self, key: OutputKey, expected: &O, ) -> Result<(), OutputLedgerError>

Asserts the current consumer state equals an expected baseline.

pub fn assert_delta_sequence_matches_rebaseline( &self, key: OutputKey, rebaseline: &O, ) -> Result<(), OutputLedgerError>

Asserts the current delta-applied state matches a rebaseline value.

pub fn assert_consumer_needs_no_hidden_graph_state( &self, ) -> Result<(), OutputLedgerError>

Asserts the ledger observed no structural frame errors.

impl<O> OutputLedger<O>

pub fn to_debug_string(&self) -> String

where O: Debug,

Returns deterministic debug output for output ledger snapshots.

pub fn to_redacted_debug_string(&self, redact: impl Fn(&O) -> String) -> String

Returns deterministic redacted debug output for output ledger snapshots.

Trait Implementations

impl<O: Clone> Clone for OutputLedger<O>

fn clone(&self) -> OutputLedger<O>

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl<O: Debug> Debug for OutputLedger<O>

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl<O: Default> Default for OutputLedger<O>

fn default() -> OutputLedger<O>

Returns the “default value” for a type.

impl<O: Eq> Eq for OutputLedger<O>

impl<O: PartialEq> PartialEq for OutputLedger<O>

fn eq(&self, other: &OutputLedger<O>) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl<O: PartialEq> StructuralPartialEq for OutputLedger<O>