Struct LogValidator 

pub struct LogValidator { /* private fields */ }

A growing, always-well-formed log you fold candidates into one at a time.

Each push validates the candidate against everything folded so far and, on success, extends the working log, so the validator’s own invariant (the log is well formed) is preserved by construction. This is the shape the server holds for a batch append: build one over the recorded log, push each incoming envelope, and append the accepted ones to the store.

Implementations

impl LogValidator

pub fn new(log: Vec<EventEnvelope>) -> LogValidator

Builds a validator over an existing (well-formed) log prefix.

pub fn next_seq(&self) -> SequenceNumber

The position the next accepted append will occupy.

pub fn log(&self) -> &[EventEnvelope]

The working log folded so far.

pub fn validate(&self, candidate: &EventEnvelope) -> Result<(), ValidationError>

Decides whether candidate is the legal next event, without folding it.

Errors

The ValidationError from validate_next.

pub fn push(&mut self, candidate: EventEnvelope) -> Result<(), ValidationError>

Validates candidate and, on success, extends the working log with it.

Errors

The ValidationError from validate_next; the log is left unchanged when the candidate is rejected.

Trait Implementations

impl Clone for LogValidator

fn clone(&self) -> LogValidator

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LogValidator

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

Formats the value using the given formatter.