Struct CollectingSink 

pub struct CollectingSink { /* private fields */ }

A sink that collects all emitted events into a Vec. Useful in integration tests that need to assert on the sequence of events.

Implementations

impl CollectingSink

pub fn new() -> Self

pub fn drain(&self) -> Vec<ProofEvent>

Drain and return all collected events.

pub fn snapshot(&self) -> Vec<ProofEvent>

Return a snapshot of collected events (clone).

Trait Implementations

impl Clone for CollectingSink

fn clone(&self) -> CollectingSink

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Default for CollectingSink

fn default() -> Self

Returns the “default value” for a type.

impl ProofEventSink for CollectingSink

fn emit(&self, event: ProofEvent)

Handle one event. Must not block the calling thread.

fn flush(&self)

Called at the end of a proof session. Default: no-op.