Struct Verifier 

pub struct Verifier { /* private fields */ }

An ordering state machine for one run’s event stream.

One verifier per run: it is stateful, and its state is that run’s progress.

Implementations

impl Verifier

pub fn new() -> Self

A verifier for a stream that has not started yet.

pub fn is_finished(&self) -> bool

Whether the run has reached a terminal event.

pub fn verify(&mut self, event: &Event) -> Result<()>

Checks one event against the rules, and records it.

Errors

Error::Protocol, naming the rule that was broken.

pub fn finish(&self) -> Result<()>

Checks the stream ended where it was supposed to.

Errors

Error::Protocol when the transport ended the stream before the agent finished the run — a truncated response, which otherwise looks exactly like a short answer.

Trait Implementations

impl Clone for Verifier

fn clone(&self) -> Verifier

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Verifier

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

Formats the value using the given formatter.

impl Default for Verifier

fn default() -> Verifier

Returns the “default value” for a type.