Progress class

What one SyncDriver.tick accomplished (spec § SyncDriver).

applied are the inbound Snapshot / Delta / CrdtSync frames the host MUST fold into its projection this tick — the driver has already advanced the receiver cursor for them, so folding is the caller's remaining obligation.

Constructors

Progress({int sent = 0, List<IpcMessage>? applied, bool resyncRequested = false, int snapshotsServed = 0, int peerAckedThrough = 0, int retained = 0})

Properties

applied → List<IpcMessage>
Inbound frames the host must fold into its projection (applied).
final
hashCode → int
The hash code for this object.
no setterinherited
peerAckedThrough ↔ int
The peer's ack cursor after this tick (our outbox retention / resume point).
getter/setter pair
resyncRequested ↔ bool
A gap was detected inbound and a IpcMessageResyncRequest was emitted.
getter/setter pair
retained ↔ int
Outbox frames still unacked (retained for reconnect replay).
getter/setter pair
runtimeType → Type
A representation of the runtime type of the object.
no setterinherited
sent ↔ int
Data frames pushed to the sink this tick (fresh enqueues + reconnect replays).
getter/setter pair
snapshotsServed ↔ int
Inbound IpcMessageResyncRequests answered with a provider snapshot.
getter/setter pair

Methods

noSuchMethod(Invocation invocation) → dynamic
Invoked when a nonexistent method or property is accessed.
inherited
toString() → String
A string representation of this object.
override

Operators

operator ==(Object other) → bool
The equality operator.
inherited