Struct ParserProgress 

pub struct ParserProgress { /* private fields */ }

One strictly ordered progress observation.

Implementations

impl ParserProgress

pub fn new( identity: ParserResponseIdentity, sequence: u32, stage: ParserProgressStage, completed_work: u32, total_work: Option<u32>, ) -> Result<Self, ParserProtocolError>

Construct one bounded progress observation.

Errors

Returns an error for an invalid sequence or work count.

pub fn validate_for( &self, request: &ParserRequest, previous: Option<&Self>, ) -> Result<ParserProgressDisposition, ParserProtocolError>

Validate request identity and monotonic progress semantics.

A valid message that advances only its sequence returns ParserProgressDisposition::NoProgress, allowing the supervisor to distinguish liveness traffic from meaningful forward progress.

Errors

Returns an error for identity mismatch, non-contiguous sequence, stage/count regression, or a changing total-work claim.

pub const fn sequence(&self) -> u32

Return the contiguous progress sequence.

Trait Implementations

impl Clone for ParserProgress

fn clone(&self) -> ParserProgress

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ParserProgress

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for ParserProgress

fn deserialize<D>(deserializer: D) -> Result<Self, D::Error>

where D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

impl PartialEq for ParserProgress

fn eq(&self, other: &ParserProgress) -> 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 Serialize for ParserProgress

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.

impl Eq for ParserProgress

impl StructuralPartialEq for ParserProgress